会员服务
Haskell 是一种纯函数式编程语言，于 1990 年在编程语言 Miranda 的基础上标准化，并且以 λ 演算为基础发展而来。
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日
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
Arxiv
0+阅读 · 2024年11月13日
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
Arxiv
0+阅读 · 2024年11月7日
Clean for Haskell Programmers
Arxiv
0+阅读 · 2024年10月29日
Early Announcement: Parametricity for GADTs
Arxiv
0+阅读 · 2024年11月1日
Double Auctions: Formalization and Automated Checkers
Arxiv
0+阅读 · 2024年10月24日
Accessible bridge between category theory and functional programming
Arxiv
0+阅读 · 2024年10月10日
typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
Arxiv
0+阅读 · 2024年8月6日
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
Arxiv
0+阅读 · 2024年7月16日
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
Arxiv
0+阅读 · 2024年7月15日
参考链接
父主题
函数式编程
微信扫码咨询专知VIP会员
Top