会员服务
Haskell 是一种纯函数式编程语言，于 1990 年在编程语言 Miranda 的基础上标准化，并且以 λ 演算为基础发展而来。
The Size-Change Principle for Mixed Inductive and Coinductive types
Arxiv
0+阅读 · 4月2日
Limits with Signed Digit Streams
Arxiv
1+阅读 · 3月25日
The Size-Change Principle for Mixed Inductive and Coinductive types
Arxiv
0+阅读 · 3月27日
FreeCHR: An Algebraic Framework for CHR-Embeddings
Arxiv
0+阅读 · 3月19日
The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
Arxiv
0+阅读 · 2月27日
L-types for resource aware languages: an implicit name approach
Arxiv
0+阅读 · 2月27日
SMILES has to go : Representation of Molecules via Algebraic Data Types
Arxiv
0+阅读 · 1月23日
Code Style Sheets: CSS for Code
Arxiv
0+阅读 · 2月13日
Distributed Approach to Haskell Based Applications Refactoring with LLMs Based Multi-Agent Systems
Arxiv
0+阅读 · 2月11日
Modular Probabilistic Models via Algebraic Effects
Arxiv
0+阅读 · 2024年12月23日
Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
Arxiv
0+阅读 · 2024年12月18日
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
Arxiv
1+阅读 · 2024年12月11日
Efficient, Portable, Census-Polymorphic Choreographic Programming
Arxiv
0+阅读 · 2024年12月3日
Formalizing Stateful Behavior Trees
Arxiv
0+阅读 · 2024年11月21日
Domain-Specific Tensor Languages
Arxiv
0+阅读 · 2024年11月13日
参考链接
父主题
函数式编程
微信扫码咨询专知VIP会员
Top