西蒙·佩顿·琼斯；斯蒂芬妮，威里奇；理查德·艾森伯格。；Dimitrios Vytiniotis，迪米特里奥斯 对类型的反思。 （英语） Zbl 1343.68048号 林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学9600、292-317课堂讲稿（2016）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Peyton Jones}等人，莱克特。注释计算。科学。9600、292--317（2016；Zbl 1343.68048） 全文： 内政部
巴勃罗·布伊拉斯；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） 全文： 内政部
尼基·瓦祖；埃里克·塞德尔。；兰吉特·贾拉；Dimitrios Vytiniotis，迪米特里奥斯；西蒙·佩顿·琼斯 Haskell的优化类型。 （英语） Zbl 1345.68080号 2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录，ICFP’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2873-9）。269-282 (2014).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Vazou}等人，in：第19届ACM SIGPLAN函数编程国际会议论文集，ICFP’14，瑞典哥德堡，2014年9月1日至3日。纽约州纽约市：计算机协会（ACM）。269--282（2014；Zbl 1345.68080） 全文： 内政部 链接
理查德·艾森伯格。；Dimitrios Vytiniotis，迪米特里奥斯；西蒙·佩顿·琼斯；斯蒂芬妮，威里奇 具有重叠表达式的闭合类型族。 （英语） Zbl 1284.68130号 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。671-683 (2014).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Eisenberg}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。671-683（2014年；兹比尔1284.68130） 全文： 内政部 链接
谢尔盖，伊利亚；Dimitrios Vytiniotis，迪米特里奥斯；西蒙·佩顿·琼斯 理论和实践中的模块化、高阶基数分析。 （英语） Zbl 1284.68151号 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。335-347 (2014).MSC公司：第68页第20页 68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sergey}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。335--347（2014年；Zbl 1284.68151） 全文： 内政部 链接
Dimitrios Vytiniotis，迪米特里奥斯；西蒙·佩顿·琼斯；科恩·克莱森；丹·罗森 Haskell通过指称语义实现逻辑。 （英语） Zbl 1301.68085号 2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。431-442 (2013).MSC公司：68甲18 03B10号机组 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Vytiniotis}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。431--442（2013；Zbl 1301.68085） 全文： 内政部
Dimitrios Vytiniotis，迪米特里奥斯；西蒙·佩顿·琼斯 System FC中的证据规范化（受邀演讲）。 （英语） Zbl 1356.68038号 van Raamsdonk，Femke（编辑），第24届重写技术和应用国际会议（RTA 2013），荷兰埃因霍温，2013年6月24日至26日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-53-8）。LIPIcs–莱布尼茨国际信息学论文集21，20-38（2013）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Vytiniotis}和\textit{S.P.Jones}，LIPIcs——莱布尼茨国际程序。通知。21、20--38（2011；Zbl 1356.68038） 全文： 内政部
斯蒂芬妮，威里奇；Dimitrios Vytiniotis，迪米特里奥斯；西蒙·佩顿·琼斯；史蒂夫·兹丹塞维奇 生成类型抽象和类型级计算。 （英语） Zbl 1284.68140号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。227-240 (2011).MSC公司：68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛S.Weirich｝等人，在：第38届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。227--240（2011年；Zbl 1284.68140） 全文： 内政部 链接
Dimitrios Vytiniotis，迪米特里奥斯；西蒙·佩顿·琼斯；汤姆·施里杰弗斯；马丁·苏尔兹曼 外侧内侧（X）：具有局部假设的模块式推理。 （英语） Zbl 1262.68034号 J.功能。程序。 21，编号4-5，333-412（2011）.MSC公司：68甲18 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Vytiniotis}等人，J.Funct。程序。21，编号4--5，333--412（2011；Zbl 1262.68034） 全文： 内政部
汤姆·施里杰弗斯；西蒙·佩顿·琼斯；马丁·苏尔兹曼；Dimitrios Vytiniotis，迪米特里奥斯 GADT的完整和可判定类型推断。 （英语） Zbl 1302.68190号 2009年8月31日至9月2日在英国爱丁堡举行的第14届ACM SIGPLAN功能编程国际会议记录，ICFP'09。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-332-7）。ACM SIGPLAN Notices 44，No.9，341-352（2009）。MSC公司：68问题65 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人，in：第14届ACM SIGPLAN函数式编程国际会议论文集，ICFP'09，英国爱丁堡，2009年8月31日至9月2日。纽约州纽约市：计算机协会（ACM）。341--352（2009年；Zbl 1302.68190） 全文： 内政部
Dimitrios Vytiniotis，迪米特里奥斯；斯蒂芬妮，威里奇；西蒙·佩顿·琼斯 FPH：Haskell的一流多态性。 （英语） Zbl 1323.68173号 2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN Notices 43，No.9，295-306（2008）。MSC公司：68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Vytiniotis}等人，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20日至28日。纽约州纽约市：计算机协会（ACM）。295-306（2008年；兹bl 1323.68173） 全文： 内政部
西蒙·佩顿，琼斯；Dimitrios Vytiniotis，迪米特里奥斯；斯蒂芬妮，威里奇；屏蔽，Mark 任意库类型的实用类型推断。 （英语） 兹比尔1107.68030 J.功能。程序。 17，第1号，1-82（2007）.MSC公司：68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Jones}等人，J.Funct。程序。17，第1号，1--82（2007；Zbl 1107.68030） 全文： 内政部