期刊文献

Propositions as types 收藏

命题类型
原文求助 发布源
作者
Philip Wadler[1]
作者单位
[1]University of Edinburgh, Scotland
页码
75-84
DOI
10.1145/2699407
来源信息
Communications of the ACM ISSN：0001-0782, 2015年, 58卷, 12期, 75-84页
摘要
Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.
摘要译文
连接数学逻辑和计算，它确保编程的一些方面是绝对
Philip Wadler[1]. Propositions as types[J]. Communications of the ACM, 2015,58(12): 75-84