会员服务
Haskell 是一种纯函数式编程语言，于 1990 年在编程语言 Miranda 的基础上标准化，并且以 λ 演算为基础发展而来。
First-Class Refinement Types for Scala
Arxiv
0+阅读 · 5月8日
Complete first-order reasoning for functional programs
Arxiv
0+阅读 · 5月21日
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
Arxiv
0+阅读 · 6月5日
Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
Arxiv
0+阅读 · 5月3日
Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
Arxiv
0+阅读 · 4月18日
Arboretum.hs: Symbolic manipulation for algebras of graphs
Arxiv
0+阅读 · 4月28日
Adapting the MVVM pattern to C++ frontends and Agda-based backends
Arxiv
0+阅读 · 3月25日
Haskell meets Evariste
Arxiv
0+阅读 · 2月18日
List types for resource aware languages: an implicit name approach
Arxiv
0+阅读 · 1月13日
Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
Arxiv
0+阅读 · 1月5日
Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
Arxiv
0+阅读 · 2025年10月28日
A Haskell to FHE Transpiler
Arxiv
0+阅读 · 2025年10月9日
Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
Arxiv
0+阅读 · 2025年10月2日
To Zip Through the Cost Analysis of Probabilistic Programs
Arxiv
0+阅读 · 2025年8月19日
Totality for Mixed Inductive and Coinductive Types
Arxiv
0+阅读 · 2025年4月23日
参考链接
微信扫码咨询专知VIP会员
Top