约翰·彼得·坎波拉三世;陈胜;马丁·埃尔维格;埃里克·沃尔金肖 正在迁移渐变类型。 （英语） Zbl 1511.68051号 J.功能。程序。 32，论文编号e14，60 p.（2022）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \文本{J.P.Campora III}等人，J.Funct。程序。32，论文编号e14，60 p.（2022；Zbl 1511.68051） 全文： 内政部
杰里米·西克。;陈天宇 参数化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公司
佩德罗·安吉洛;马里奥弗洛里多 秩2渐变交集类型的类型推断。 （英语） Zbl 1503.68035号 Bowman，William J.（编辑）等人，《函数编程趋势》。第20届国际研讨会，TFP 2019，加拿大不列颠哥伦比亚省温哥华，2019年6月12-14日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12053, 84-120 (2020).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.ngelo}和textit{M.Florido}，莱克特。注释计算。科学。12053、84-120（2020；Zbl 1503.68035） 全文： 内政部
本·格林曼;麻生太郎;新，Max S。;丹尼尔·费尔蒂;罗伯特·布鲁斯·芬德勒;维泰克，简;马提亚斯·费莱森 如何评估渐进式系统的性能。 （英语） Zbl 1493.68087号 J.功能。程序。 29，论文编号e4，45 p.（2019）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Greenman}等人，J.Funct。程序。29，论文编号e4，45 p.（2019；Zbl 1493.68087） 全文： 内政部