伊丽莎白·拉布拉达；马蒂亚斯·托罗；埃里克·坦特 渐变系统F。 （英语） Zbl 07679906号 美国临床医学杂志 69，第5号，第38号论文，78页（2022年）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Labrada}等人，J.ACM 69，第5号，论文编号38，78页（2022；Zbl 07679906） 全文： 内政部 arXiv公司
卡拉·拉米雷斯·普利多；奥尔特加·阿尔乔纳，豪尔赫·路易斯；德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 使用带有记录的联合键入的渐进键入。 （英语） Zbl 07516367号 Pozos-Parra，Pilar（编辑）等人，《第十一届和第十二届拉丁美洲逻辑/语言、算法和新推理方法研讨会论文集》，LANMR，墨西哥普埃布拉，2018年11月15日和2019年11月十五日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。354, 171-186 (2020).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Pulido}等人，《电子》。注释Theor。计算。科学。354171--186（2020；Zbl 07516367） 全文： 内政部
亚瑟·阿齐夫多·德·阿莫林；马特·弗雷德里克森；贾利民 协调不干扰和渐进打字。 （英语） Zbl 1506.68024号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。116-129 (2020).MSC公司：68页30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Azevedo de Amorim}等人，《2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集》，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。116-129（2020年；Zbl 1506.68024） 全文： 内政部
新，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） 全文： 内政部
Khurram A.贾费里。；乔舒亚·邓菲尔德 不确定性总和：细化是渐进的。 （英语） Zbl 1380.68094号 Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。804-817 (2017).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Jafery}和\textit{J.Dunfield}，摘自：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。804--817（2017；Zbl 1380.68094） 全文： 内政部 arXiv公司
马蒂奥·奇米尼；杰里米·西克。 自动生成渐变类型语言的动态语义。 （英语） 兹比尔1380.68082 Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。789-803 (2017).MSC公司：68甲15 68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛M.Cimini｝和\textit｛J.G.Siek｝，载于：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）。789--803（2017；Zbl 1380.68082） 全文： 内政部
尼科·莱曼；埃里克·坦特 逐步细化类型。 （英语） Zbl 1380.68086号 Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。775-788 (2017).MSC公司：68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Lehmann}和\textit{E.Tanter}，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，2017年1月15日至21日，法国巴黎，POPL’17。纽约州纽约市：计算机协会（ACM）。775--788（2017；Zbl 1380.68086） 全文： 内政部
迈克尔·M·维托塞克。；剑，卡梅隆；杰里米·西克。 小运行时的大类型：开放世界的稳健性和渐进式系统的协作性。 （英语） Zbl 1380.68088号 Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。762-774 (2017).MSC公司：68甲15 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Vitousek}等人，《第44届ACM SIGPLAN编程语言原理年度研讨会论文集》，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。762--774（2017；Zbl 1380.68088） 全文： 内政部
塞勒斯·奥马尔；伊恩·沃西；迈克尔·希尔顿；乔纳森·奥尔德里奇；马修·哈默（Matthew A.Hammer）。 Hazelnut：一种双向类型的结构编辑器演算。 （英语） 兹比尔1380.68100 Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。86-99 (2017).MSC公司：68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛C.Omar｝等人，在：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）。86-99（2017年；Zbl 1380.68100） 全文： 内政部 arXiv公司
马蒂奥·奇米尼；杰里米·西克。 渐变器：生成渐变类型系统的方法和算法。 （英语） Zbl 1347.68048号 Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。443-455 (2016).MSC公司：68甲18 68甲15 68N17号 68N20型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Cimini}和\textit{J.G.Siek}，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。443--455（2016；Zbl 1347.68048） 全文： 内政部
罗纳德·加西亚；Alison M.克拉克。；埃里克·坦特 抽象渐进式打字。 （英语） Zbl 1347.68081号 Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。429-442 (2016).MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Garcia}等人，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。429--442（2016；Zbl 1347.68081） 全文： 内政部
巴勃罗·布伊拉斯；Dimitrios Vytiniotis，迪米特里奥斯；亚历杭德罗·拉索 HLIO：在Haskell中混合静态和动态类型以进行信息流控制。 （英语） Zbl 1360.68316号 2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。289-301 (2015).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Buiras}等人，in：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。289--301（2015；Zbl 1360.68316） 全文： 内政部
罗纳德·加西亚；马蒂奥·奇米尼 渐进式项目的主要类型方案。 （英语） Zbl 1345.68105号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。303-315 (2015).MSC公司：68号30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛R.Garcia｝和\textit｛M.Cimini｝，载于：第42届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。303--315（2015；Zbl 1345.68105） 全文： 内政部
阿西姆·拉斯托吉；尼基尔·斯瓦米；塞德里克·Fornet；加文·比尔曼；Vekris、Panagiotis公司 TypeScript的安全高效渐进式键入。 （英语） Zbl 1346.68049号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。167-180 (2015).MSC公司：68甲15 68N20型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Rastogi}et al.，in：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。167-180（2015；Zbl 1346.68049） 全文： 内政部
费利佩·巴尼亚多斯·施沃特；罗纳德·加西亚；埃里克·坦特 渐进效应系统理论。 （英语） Zbl 1345.68037号 2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录，ICFP’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2873-9）。283-295 (2014).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Bañados Schwerter}等人，in：第19届ACM SIGPLAN函数式编程国际会议论文集，ICFP’14，瑞典哥德堡，2014年9月1日至3日。纽约州纽约市：计算机协会（ACM）。283-295（2014；Zbl 1345.68037） 全文： 内政部 链接
彼得·蒂曼 逐步键入的会话类型。 （英语） 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） 全文： 内政部
斯皮罗斯·哈吉克里斯托杜鲁 带有Prolog子类型的渐变多态类型系统。 （英语） Zbl 1281.68080号 Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议（ICLP 2012）的技术交流，2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学会议录17，451-457，仅电子版（2012）。MSC公司：68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Hadjichristodoulou}，LIPIcs——莱布尼茨国际程序。通知。17、451--457（2012；Zbl 1281.68080） 全文： 内政部
大卫·赫尔曼；Tomb，亚伦；科马克·弗拉纳根 节省空间的渐进式打字。 （英语） 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） 全文： 内政部
尼基尔·斯瓦米；迈克尔·希克斯；加文·M·比尔曼。 类型矫顽子理论及其应用。 （英语） Zbl 1302.68093号 2009年8月31日至9月2日在英国爱丁堡举行的第14届ACM SIGPLAN功能编程国际会议记录，ICFP'09。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-332-7）。ACM SIGPLAN通知44，第9号，329-340（2009）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Swamy}等人，in：第14届ACM SIGPLAN函数式编程国际会议论文集，ICFP'09，英国爱丁堡，2009年8月31日至9月2日。纽约州纽约市：计算机协会（ACM）。329-340（2009年；Zbl 1302.68093） 全文： 内政部