尼基尔·斯瓦米；Hriţcu，科特林；香塔尔·凯勒；阿西姆·拉斯托吉；安托万，Deligna-Lavoud；西蒙·福雷斯特；卡尔蒂基扬·巴尔干；塞德里克·Fornet；Pierre-Yves支柱；马尔库夫·科尔韦斯；Jean-Karim Zinzindohoue；圣地亚哥Zanella-Béguelin （\mathrm{F}^*\）中的依赖类型和多单子效应。 （英语） Zbl 1347.68038号 Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。256-270 (2016). 引用于10文件 MSC公司： 68甲15 编程语言理论 68甲18 函数编程和lambda演算 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：有效编程；校对助理；验证 软件：Why3号机组；哈斯克尔；Coq公司；自动变电站；胎儿；OCaml公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Swamy}等人，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。256-270（2016；Zbl 1347.68038） 全文： 内政部