Paulette Koronkevich；拉蒙·拉科夫；阿马尔·艾哈迈德；威廉·鲍曼。 ANF将依赖类型保留到扩展相等。 （英语） 兹比尔1511.68055 J.功能。程序。 32，论文编号e12，53 p.（2022）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Koronkevich}等人，J.Funct。程序。32，论文编号e12，第53页（2022；Zbl 1511.68055） 全文： DOI程序
卡明·阿巴特；Busi，Matteo公司；斯泰利奥斯·赞帕斯 完全抽象且健壮的编译。以及如何在抽象上协调两者。 （英语） Zbl 1520.68025号 哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13008, 83-101 (2021).MSC公司：68号30 68N20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Abate}等人，Lect。注释计算。科学。13008，83-101（2021；Zbl 1520.68025） 全文： DOI程序 arXiv公司
Lau Skorstengaard；多米尼克·德夫里塞；拉尔斯·比克达尔 StkTokens：使用线性功能执行括号良好的控制流和堆栈封装。 （英语） Zbl 1522.68164号 J.功能。程序。 31，论文编号e9，75 p.（2021）.MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Skorstengaard}等人，J.Funct。程序。31，论文编号e9，75 p.（2021；Zbl 1522.68164） 全文： DOI程序 arXiv公司
萨缪尔·布鲁；罗伊·克罗；伊莎贝拉·马斯特罗埃尼 多语言的赤道逻辑和范畴语义。 （英语） Zbl 07516372号 Patricia Johann（编辑），《第36届编程语义数学基础会议论文集》，MFPS XXXVI，虚拟会议，2020年6月2-6日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。352, 79-103 (2020).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Buro}等人，《电子》。注释Theor。计算。科学。352、79-103（2020；Zbl 07516372） 全文： DOI程序
萨缪尔·布鲁；罗伊·克罗。；伊莎贝拉·马斯特罗埃尼 关于多语言抽象。面向多语言程序的静态分析。 （英语） Zbl 1474.68045号 Pichardie，David（编辑）等人，《静态分析》。第27届国际研讨会，SAS 2020，虚拟活动，2020年11月18日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12389, 310-332 (2020).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Buro}等人，Lect。注释计算。科学。12389、310-332（2020年；Zbl 1474.68045） 全文： DOI程序
马可·帕特里格纳尼；克拉克、戴夫 保护模块架构的完全抽象跟踪语义。 （英语） Zbl 1387.68054号 计算。语言系统。结构。 42，22-45（2015）.MSC公司：68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Patrignani}和\textit{D.Clarke}，计算。语言系统。结构。42、22-45（2015；Zbl 1387.68054） 全文： DOI程序
曼弗雷德·施密特·沙乌；大卫·萨贝尔；约阿希姆·尼伦；施温哈默（Jan Schwinghammer） 观察程序计算和翻译的正确性。 （英语） Zbl 1309.68052号 西奥。计算。科学。 577, 98-124 (2015).MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人，Theor。计算。科学。577、98——124（2015年；Zbl 1309.68052） 全文： DOI程序 哈尔