The essence of functional programming 论文
1992引用 675
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeAdvanced Software Engineering Methodologies
详细信息
- 发表日期
- 1992-01-01
- 发表年份
- 1992
关键词
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeAdvanced Software Engineering Methodologies
摘要
This paper explores the use monads to structure functional programs. No prior knowledge of monads or category theory is required.