×

Hazelnut:一种双向类型的结构编辑器演算。 (英语) Zbl 1380.68100号

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

MSC公司:

68甲18 函数编程和lambda演算
68号30 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式BibTeX公司 XML格式引用