会员服务
Haskell 是一种纯函数式编程语言，于 1990 年在编程语言 Miranda 的基础上标准化，并且以 λ 演算为基础发展而来。
Lava: Foundations for Liquid Haskell via Translation to Rocq
Arxiv
0+阅读 · 10月8日
Hippogriff: a semantic approach to uniting core and modules
Arxiv
0+阅读 · 8月20日
A Cost-Aware Probability Monad for Liquid Haskell
Arxiv
0+阅读 · 8月5日
Evaluating Shrinking (Experience Report)
Arxiv
0+阅读 · 5月21日
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日
参考链接
微信扫码咨询专知VIP会员
Top