会员服务
和命令式编程对应的编程方式，不直接描述求解细节，通过代码描述运算关系，由系统完成求解
Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
Arxiv
0+阅读 · 6月2日
LFPL: Revisited and Mechanized
Arxiv
0+阅读 · 5月17日
LFPL: Revisited and Mechanized
Arxiv
0+阅读 · 5月13日
A Calculus of Inheritance
Arxiv
0+阅读 · 6月1日
Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
Arxiv
0+阅读 · 5月11日
Finite Functional Programming
Arxiv
0+阅读 · 4月28日
A Calculus of Inheritance
Arxiv
0+阅读 · 3月27日
A Calculus of Inheritance
Arxiv
0+阅读 · 3月16日
The Functional Machine Calculus III: Control
Arxiv
0+阅读 · 2月27日
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Arxiv
0+阅读 · 2月24日
A Calculus of Inheritance
Arxiv
0+阅读 · 3月2日
A Calculus of Inheritance
Arxiv
0+阅读 · 3月10日
A Calculus of Inheritance
Arxiv
0+阅读 · 2月26日
A Calculus of Overlays
Arxiv
0+阅读 · 2月23日
Category Theory for Programming
Arxiv
0+阅读 · 3月5日
参考链接
微信扫码咨询专知VIP会员
Top