杰米·摩根斯坦;丹尼尔·李卡塔(Daniel R.Licata)。 独立类型编程中的安全类型编程。 (英语) Zbl 1323.68220号 2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-794-3)。ACM SIGPLAN通告45,第9号,169-180(2010)。 引用于1文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68甲15 编程语言理论 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:阿格达;依赖类型;安全类型编程 软件:阿格利特;AURA公司;Ynot公司;阿格达 PDF格式BibTeX公司 XML格式引用 \textit{J.Morgenstern}和\textit{D.R.Licata},载于:第15届ACM SIGPLAN功能编程国际会议论文集,ICFP’10,美国马里兰州巴尔的摩,2010年9月27日至29日。纽约州纽约市:计算机协会(ACM)。169-180(2010年;Zbl 1323.68220) 全文: 内政部