会员服务
Haskell 是一种纯函数式编程语言，于 1990 年在编程语言 Miranda 的基础上标准化，并且以 λ 演算为基础发展而来。
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日
Totality for Mixed Inductive and Coinductive Types
Arxiv
0+阅读 · 2025年4月10日
Totality for Mixed Inductive and Coinductive Types
Arxiv
0+阅读 · 2025年8月11日
Totality for Mixed Inductive and Coinductive Types
Arxiv
0+阅读 · 2025年9月2日
Rebound: Efficient, Expressive, and Well-Scoped Binding
Arxiv
0+阅读 · 2025年9月16日
Efficient, Portable, Census-Polymorphic Choreographic Programming
Arxiv
0+阅读 · 2025年4月23日
An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
Arxiv
0+阅读 · 2025年5月27日
The Size-Change Principle for Mixed Inductive and Coinductive types
Arxiv
0+阅读 · 2025年9月2日
The Size-Change Principle for Mixed Inductive and Coinductive types
Arxiv
0+阅读 · 2025年4月2日
Limits with Signed Digit Streams
Arxiv
1+阅读 · 2025年3月25日
参考链接
微信扫码咨询专知VIP会员
Top