马丁·霍夫曼；洛伦茨，Leutgeb；大卫·奥布瓦勒；乔治·莫瑟；弗洛里安·祖勒格 对数摊销复杂度的基于类型的分析。 （英语） Zbl 1517.68070号 数学。结构。计算。科学。 32，编号6，794-826（2022）.MSC公司：68甲18 03B38型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人，《数学》。结构。计算。科学。32，编号6，794--826（2022；Zbl 1517.68070） 全文： 内政部 arXiv公司
美国达拉戈。 高阶编程语言中的隐式计算复杂性。纪念马丁·霍夫曼的调查。 （英语） Zbl 1517.68075号 数学。结构。计算。科学。 32，编号6，760-776（2022）.MSC公司：68号30 03B40型 第03页 68甲18 2015年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}，数学。结构。计算。科学。32，编号6，760--776（2022；Zbl 1517.68075） 全文： 内政部
简·霍夫曼；斯特芬·乔斯特 二十年的自动摊销资源分析。 （英语） Zbl 1517.68079号 数学。结构。计算。科学。 32，第6号，729-759（2022）.MSC公司：68号30 03B38型 03B70号 68甲18 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.霍夫曼}和\textit{S.约斯特}，数学。结构。计算。科学。32，编号6，729--759（2022；Zbl 1517.68079） 全文： 内政部
诺曼·丹纳；丹尼尔·李卡塔（Daniel R.Licata）。 指称语义是函数语言成本递归提取的基础。 （英语） Zbl 07581651号 J.功能。程序。 32，论文编号e8，73 p.（2022）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Danner}和\textit{D.R.Licata}，J.Funct。程序。32，论文编号e8，73 p.（2022；Zbl 07581651） 全文： 内政部 arXiv公司
阿尔维斯，桑德拉；迪莉娅·凯斯纳；丹尼尔·文图拉 对模式匹配的定量理解。 （英语） Zbl 07756108号 Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第3条，第36页（2020）。MSC公司：03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}等人，LIPIcs——莱布尼茨国际程序。通知。175，第3条，第36页（2020；Zbl 07756108） 全文： 内政部 arXiv公司
帕特里克·贝洛特；亚历克西斯·盖塞伦 结合线性逻辑和大小类型以实现隐式复杂性。 （英语） Zbl 1433.68086号 西奥。计算。科学。 813, 70-99 (2020).MSC公司：68甲18 03B70号 第03页 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{A.Ghyselen}，Theor。计算。科学。813、70-99（2020年；Zbl 1433.68086） 全文： 内政部 链接
帕特里克·贝洛特；亚历克西斯·盖塞伦 结合线性逻辑和大小类型以实现隐式复杂性。 （英语） Zbl 1528.68056号 Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第9条，第21页（2018年）。MSC公司：68甲18 03B70号 第03页 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{A.Ghyselen}，LIPIcs——莱布尼茨国际程序。通知。119，第9条，第21页（2018；兹bl 1528.68056） 全文： 内政部
伊曼纽尔·海因里；罗曼·佩乔 面向对象程序的基于类型的复杂性分析。 （英语） Zbl 1395.68087号 Inf.计算。 261，第1部分，78-115（2018）.MSC公司：68甲19 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Hainry}和\textit{R.Péchoux}，Inf.Compute。261，第1部分，78--115（2018；Zbl 1395.68087） 全文： 内政部 arXiv公司
本杰明·利希特曼；简·霍夫曼 资源感知ML中的数组和引用。 （英语） Zbl 1441.68018号 Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第26条，第20页（2017）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Lichtman}和\textit{J.Hoffmann}，LIPIcs——莱布尼茨国际程序。通知。84，第26条，第20页（2017；Zbl 1441.68018） 全文： 内政部
斯特芬·乔斯特；佩德罗·瓦康塞洛斯；马里奥弗洛里多；凯文·哈蒙德 惰性函数语言的基于类型的成本分析。 （英语） Zbl 1409.68067号 J.汽车。推理 59，第1号，87-120（2017）.MSC公司：68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Jost}等人，J.Autom。推理59，No.1，87-120（2017；Zbl 1409.68067） 全文： 内政部 链接
阿卡尔（Umut A.Acar）。；亚瑟·查古埃罗；雷尼，迈克 在隐式并行语言中控制粒度的Oracle-guided调度。 （英语） Zbl 1420.68058号 J.功能。程序。 26，论文编号e23，40 p.（2016）.MSC公司：68号30 68甲15 68甲18 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{U.A.Acar}等人，J.Funct。程序。26，论文编号e23，40 p.（2016；Zbl 1420.68058） 全文： 内政部
乌戈·达尔拉戈；芭芭拉·佩蒂特 按值调用场景中的线性相关类型。 （英语） Zbl 1283.68117号 科学。计算。程序。 84, 77-100 (2014).MSC公司：68甲18 03B40型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{B.Petit}，科学。计算。程序。84、77——100（2014年；Zbl 1283.68117） 全文： 内政部
黑山，曼努埃尔；里卡多·佩纳；克拉拉·塞古拉 资源语义和抽象机保险柜：带有区域和显式释放的函数语言。 （英语） 兹比尔1358.68059 Inf.计算。 235, 3-35 (2014).MSC公司：68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.黑山}等人，Inf.计算。235，3--35（2014；Zbl 1358.68059） 全文： 内政部