会员服务
和命令式编程对应的编程方式，不直接描述求解细节，通过代码描述运算关系，由系统完成求解
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日
Simple Modal Types for Functional Reactive Programming
Arxiv
0+阅读 · 2月22日
Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study
Arxiv
0+阅读 · 3月5日
A Calculus of Overlays
Arxiv
0+阅读 · 2月18日
Optimization under uncertainty: understanding orders and testing programs with specifications
Arxiv
0+阅读 · 2月13日
Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
Arxiv
0+阅读 · 1月13日
Logic Programming with Extensible Types
Arxiv
0+阅读 · 1月7日
Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
Arxiv
0+阅读 · 1月5日
参考链接
微信扫码咨询专知VIP会员
Top