塞勒斯·奥马尔;伊恩·沃西;迈克尔·希尔顿;乔纳森·奥尔德里奇;马修·哈默(Matthew A.Hammer)。 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 软件工程的数学方面(规范、验证、度量、需求等) 关键词:双向型系统;渐进式键入;机械化元理论;结构编辑器 软件:阿格达;伊德里斯;ocaml中的js;榛子;方解石;Mtac公司;触摸开发;mbeddr公司;兰杜 PDF格式BibTeX公司 XML格式引用 \textit{C.Omar}等人,in:第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。86-99(2017年;Zbl 1380.68100) 全文: 内政部 arXiv公司