杰里米·西克。；陈天宇 参数化cast calculi和渐进式lambda calculi的可重用元理论。 （英语） Zbl 1530.68064号 J.功能。程序。 31，论文编号e30，73 p.（2021）.MSC公司：68甲18 03B40型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Siek}和\textit{T.Chen}，J.Funct。程序。31，论文编号e30，73 p.（2021；Zbl 1530.68064） 全文： 内政部 arXiv公司
新，Max S。；丹尼尔·李卡塔（Daniel R.Licata）。；阿马尔·艾哈迈德 渐进型理论。 （英语） Zbl 1522.68127号 J.功能。程序。 31，论文编号e21，139 p.（2021）.MSC公司：68甲18 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.S.New}等人，J.Funct。程序。31，论文编号e21，139 p.（2021；Zbl 1522.68127） 全文： 内政部
杰里米·西克。；彼得·蒂曼；菲利普·瓦德勒 指责和胁迫：第一次再次并肩作战。 （英语） Zbl 1522.68130号 J.功能。程序。 31，论文编号e20，56 p.（2021）.MSC公司：68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Siek}等人，J.Funct。程序。31，论文编号e20，56 p.（2021；Zbl 1522.68130） 全文： 内政部
乔治·卡拉查利亚斯；普雷特纳，马蒂亚；阿穆尔·哈尼·萨利赫；斯泰恩·范德哈伦；汤姆·施里杰弗斯 显式效果子类型。 （英语） Zbl 1482.68081号 J.功能。程序。 30，论文编号e15，57 p.（2020）.MSC公司：68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Karachalias}等人，J.Funct。程序。30，论文编号e15，57 p.（2020；Zbl 1482.68081） 全文： 内政部
新，Max S。；丹尼尔·李卡塔（Daniel R.Licata）。 叫名字渐变型理论。 （英语） Zbl 1442.68031号 日志。方法计算。科学。 16，第1号，第7号论文，45页（2020年）.MSC公司：68甲18 03B70号 18 C50 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.S.New}和\textit{D.R.Licata}，日志。方法计算。科学。16，第1号，第7号论文，45页（2020年；Zbl 1442.68031） 全文： arXiv公司
新，Max S。；丹尼尔·李卡塔（Daniel R.Licata）。 叫名字渐变型理论。 （英语） Zbl 1462.68024号 Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第24条，第17页（2018年）。MSC公司：68甲18 03B38型 18 C50 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.S.New}和\textit{D.R.Licata}，LIPIcs——莱布尼茨国际程序。通知。108，第24条，第17页（2018；Zbl 1462.68024） 全文： 内政部
Nguyín，Phüc c。；萨姆·托宾·霍施塔特；戴维·范霍恩 用于合同验证和反驳的高阶符号执行。 （英语） Zbl 1418.68061号 J.功能。程序。 27，论文编号e3，56 p.（2017）.MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Nguyín}等人，J.Funct。程序。27，论文编号e3，56 p.（2017；Zbl 1418.68061） 全文： 内政部 arXiv公司
彼得·蒂曼 用于混合类型检查的增量。 （英语） Zbl 1343.68050号 林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，411-432（2016）。MSC公司：68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Thiemann}，莱克特。票据计算。科学。9600、411--432（2016；Zbl 1343.68050） 全文： 内政部
马西莫·巴托莱蒂；伊利亚州卡斯特拉尼；Deniélou、Pierre-Malo；马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；约万卡·潘托维奇；佩雷斯（Jorge A.Pérez）。；彼得·蒂曼；伯纳多·托尼霍；雨果·托雷斯·维埃拉 将行为类型与安全分析相结合。 （英语） Zbl 1330.68045号 J.日志。阿尔盖布。方法计划。 84，第6号，763-780（2015）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，J.Log。阿尔盖布。方法计划。84，第6号，763--780（2015；Zbl 1330.68045） 全文： 内政部 arXiv公司
彼得·蒂曼 逐步键入的会话类型。 （英语） Zbl 1444.68123号 Maffei，Matteo（编辑）等人，《值得信赖的全球计算》。2014年9月5日至6日，第九届国际研讨会，TGC 2014，意大利罗马。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。第8902144-158页（2014年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Thiemann}，莱克特。票据计算。科学。8902、144--158（2014年；Zbl 1444.68123） 全文： 内政部
彼得·阿克滕；马尔科·范·埃克伦；彼得·科普曼；马可·T·莫拉赞。 1999/2000年与2007/2008年职能方案拟订趋势的趋势。 （英语） Zbl 1256.68028号 高-订购符号。计算。 23，第4期，465-487（2010）.MSC公司：68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Achten}等人，高-订购符号。计算。23，第4号，465--487（2010；Zbl 1256.68028） 全文： 内政部
大卫·赫尔曼；阿伦·汤姆；科马克·弗拉纳根 节省空间的渐进式打字。 （英语） Zbl 1232.68025号 高-订购符号。计算。 23，第2期，167-189（2010）.MSC公司：68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Herman}等人，高-订购符号。计算。23，第2号，167--189（2010；Zbl 1232.68025） 全文： 内政部
扎伊娜·达盖伊；泽维尔·勒罗伊 一个经过验证的高阶取消修正优化框架。 （英语） Zbl 1209.68106号 高-订购符号。计算。 22，第3期，199-231（2009）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dargaye}和\textit{X.Leroy}，高-订购符号。计算。22，第3号，199--231（2009；Zbl 1209.68106） 全文： 内政部 哈尔
杨哲 用类ML语言编码类型。 （英语） Zbl 1072.68032号 西奥。计算。科学。 315，第1期，151-190（2004）.MSC公司：68号30 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \文本{Z.Yang}，Theor。计算。科学。315，第1号，151--190（2004；Zbl 1072.68032） 全文： 内政部
萨蒂什·塔特。 带有分部类型的类型推理。 （英语） 兹伯利0795.68026 西奥。计算。科学。 124，第1127-148号（1994年）.MSC公司：68号01 68第05页 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Thatte}，Theor（西奥）。计算。科学。124，编号1，127--148（1994；Zbl 0795.68026） 全文： 内政部