×
丹尼尔森、尼尔斯·安德斯;休斯，约翰;帕特里克·詹森;杰里米·吉本斯

快速而松散的推理在道德上是正确的。 （英语） Zbl 1370.68042号

2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-027-2）。206-217 (2006).

引用于12文件

MSC公司：

68甲15 编程语言理论
68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

等式推理;归纳类型;共导类型;提升型;非限定语言;严格的语言;部分值;无限值;部分语言;所有语言
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Danielsson}等人，in：第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'06，查尔斯顿，南卡罗来纳州，美国，2006年1月11-13日。纽约州纽约市：计算机协会（ACM）。206-217（2006；Zbl 1370.68042）
全文： 内政部