卡塔兹纳·格里吉尔;皮埃尔·莱斯坎 计算并生成lambda项。 (英语) Zbl 1311.68045号 J.功能。程序。 23,第5期,594-628(2013).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Grygiel}和\textit{P.Lescanne},J.Funct。程序。23,第5号,594--628(2013;Zbl 1311.68045) 全文: 内政部 arXiv公司
埃德温·布雷迪 Idris,一种通用的依赖类型编程语言:设计和实现。 (英语) Zbl 1295.68059号 J.功能。程序。 23,第5期,552-593(2013). 审核人:瓦伦蒂娜·达吉安(维尔纽斯) MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.Brady}、J.Funct。程序。23,第5号,552--593(2013;Zbl 1295.68059) 全文: 内政部
贾尼斯·沃格特兰德;胡镇江;松田和川;王蒙 通过形状双向化器插件增强语义双向化。 (英语) Zbl 1303.68039号 J.功能。程序。 23,第5号,515-551(2013). 审核人:尤里安·哈格(乌得勒支) MSC公司:68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Voigtländer}等人,J.Funct。程序。23,第5号,515--551(2013;Zbl 1303.68039) 全文: 内政部