×

独立类型编程中的安全类型编程。 (英语) 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)。

MSC公司:

68号30 软件工程的数学方面(规范、验证、度量、需求等)
68甲15 编程语言理论
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部