×
丹尼尔·艾哈曼；Hriţcu，科特林；肯吉·梅拉德；吉多·马丁内斯；戈登·普洛金；乔纳森·普罗琴科；阿西姆·拉斯托吉；尼基尔·斯瓦米

Dijkstra monads是免费的。 （英语） Zbl 1380.68266号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。515-529 (2017).

引用于5文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68问题55 计算理论中的语义学
68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

依赖类型；有效编程；校对助理；验证

软件：

F类*；z3（零3）；Why3号机组；哈斯克尔；达夫尼
PDF格式BibTeX公司 XML格式引用
\textit{D.Ahman}等人，摘自：2017年1月15日至21日在法国巴黎举行的第44届ACM SIGPLAN编程语言原则年会论文集，POPL’17。纽约州纽约市：计算机协会（ACM）。515--529（2017；Zbl 1380.68266）
全文： 内政部 arXiv公司