埃德温·布雷迪 具有代数效果和依赖类型的编程和推理。 （英语） Zbl 1323.68097号 2013年9月25日至27日在美国马萨诸塞州波士顿举行的第18届ACM SIGPLAN功能编程国际会议记录，ICFP’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN Notices 48，No.9，133-144（2013）。 引用于12文件 MSC公司： 68甲18 函数编程和lambda演算 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：代数效应；依赖类型 软件：伊德里斯；Ynot公司；斯卡拉；哈斯克尔；Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Brady}，in：第18届ACM SIGPLAN函数编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿，2013年9月25-27日。纽约州纽约市：计算机协会（ACM）。133-144（2013；Zbl 1323.68097） 全文： 内政部