会员服务
Haskell 是一种纯函数式编程语言，于 1990 年在编程语言 Miranda 的基础上标准化，并且以 λ 演算为基础发展而来。
Domain-Specific Tensor Languages
Arxiv
0+阅读 · 11月13日
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
Arxiv
0+阅读 · 11月13日
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
Arxiv
0+阅读 · 11月7日
Clean for Haskell Programmers
Arxiv
0+阅读 · 10月29日
Early Announcement: Parametricity for GADTs
Arxiv
0+阅读 · 11月1日
Double Auctions: Formalization and Automated Checkers
Arxiv
0+阅读 · 10月24日
Accessible bridge between category theory and functional programming
Arxiv
0+阅读 · 10月10日
typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
Arxiv
0+阅读 · 8月6日
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
Arxiv
0+阅读 · 7月16日
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
Arxiv
0+阅读 · 7月15日
Higher-Order Specificationsfor Deductive Synthesis of Programs with Pointers (Extended version)
Arxiv
0+阅读 · 7月12日
Functional Programming in Learning Electromagnetic Theory
Arxiv
0+阅读 · 7月10日
The Size-Change Principle for Mixed Inductive and Coinductive types
Arxiv
0+阅读 · 7月8日
Extending Isabelle/HOL's Code Generator with support for the Go programming language
Arxiv
0+阅读 · 6月29日
Totality for Mixed Inductive and Coinductive Types
Arxiv
0+阅读 · 6月26日
参考链接
父主题
函数式编程
微信扫码咨询专知VIP会员
Top