论文

对实际逐步打字。与Asumu Takikawa伯爵院长丹尼尔毡状的,,马修Flatt,罗伯特布鲁斯Findler和马提亚类。
欧洲会议面向对象编程(ECOOP),2015年7月。
(PDF|工件|文档]

单调参考有效渐进的打字。与杰里米·g·Siek迈克尔·m·Vitousek Matteo Cimini和罗纳德·加西亚。
欧洲研讨会上编程(ESOP),2015年4月。
(PDF]

约束带分隔符的控制与合同。与Asumu Takikawa和t·斯蒂芬·斯特里克兰。
欧洲研讨会上编程(ESOP),2013年3月。
(PDF]

逐渐为一流的类类型。与Asumu Takikawa,t·斯蒂芬·斯特里克兰,克里斯托Dimoulas和马提亚类。
面向对象编程、系统语言和应用程序(OOPSLA),2012年10月。
(PDF]

第三车间学报》脚本程序进化。
νCCIS NU-CCIS-12-02技术报告,2012年6月。
(PDF]

完整的监控行为的合同。与克里斯托Dimoulas和马提亚类。
欧洲研讨会上编程(ESOP), 2012年3月。
(PDF]

输入数字塔。与文森特St-Amour,马修Flatt和马提亚类。
研讨会上声明性语言的实用角度(PADL),2012年1月。
(PDF]

无类型语言的逻辑类型。与马提亚类。
函数式编程(ICFP)国际会议上,2010年9月。
(PDF|ACM DL]

类型的设计和实现方案(预印本)。与马提亚类。
发表在《高阶和符号计算,2010年9月。
(PDF|arXiv]

功能的数据结构类型的球拍。与帕拉山K R哈里。
车间计划和函数式编程,2010年8月。
(PDF|地球上包]

输入计划:从脚本程序。
东北大学博士论文,2010年1月。
(PDF]

没有污染的循环:逐步输入诗。与罗伯特布鲁斯Findler。
1日国际研讨会脚本程序进化(停止),2009年7月。
(PDF|ACM DL]

实际Variable-Arity多态性。与t·斯蒂芬·斯特里克兰和马提亚类。
欧洲研讨会上编程(ESOP),2009年3月。
(PDF|施普林格]

类型的设计和实现方案。与马提亚类。
研讨会的原则编程语言(POPL),2008年1月。
(PDF|ACM DL|正式的模型]

中介语迁移:从脚本程序。与马提亚类。
动态语言研讨会(DLS),2006年10月。
(PDF|ACM DL]

会谈

发展软件从脚本程序,苏黎世联邦理工学院的计算机科学、苏黎世、CH, 2013年4月。

发展软件从脚本程序,印第安纳大学计算机科学系,布卢明顿,2013年3月。雷竞技官方网站下载

进化从脚本程序软件,爱荷华州立大学软件工程研讨会,埃姆斯IA, 2013年3月。

进化软件从脚本程序,爱达荷大学计算机科学系,莫斯科,ID, 2013年3月。

出现打字,Dagstuhl会议脚本语言的基础,Wadern,德国,2012年1月。

越来越多的软件:从脚本程序,俄勒冈州立大学电讨论会科瓦利斯,俄勒冈州,2011年3月。

从脚本程序,印第安纳大学计算机科学系,布卢明顿,20雷竞技官方网站下载10年11月。

无类型语言的逻辑类型,国际会议在函数式编程2010年9月,巴尔的摩,医学博士。

逻辑类型方案,新英格兰的编程语言和系统研讨会耶鲁大学,2010年4月。

输入方案:从脚本到项目,哈佛大学2010年2月,剑桥,妈,。

类型的计划,在计划中,波士顿Lisp会议2009年12月,波士顿,MA,。

输入计划:从脚本程序,论文答辩,东北大学2009年12月,波士顿,MA,。

输入计划:从脚本程序,Sun Microsystems实验室、伯灵顿,马,2009年9月。

类型的设计和实现方案,研讨会的米切尔魔杖2009年8月,波士顿,MA,。

没有污染的循环:逐步输入诗,1日国际研讨会脚本程序进化2009年7月,意大利热那亚。

类型或类型,东北大学ACM系列讲座2008年4月,波士顿,MA,。

类型的计划,东北大学CCIS开放的房子2008年3月,波士顿,MA,。

类型的设计和实现方案,研讨会的原则编程语言(POPL)2008年1月,旧金山,CA。

类型为无类型语言,东北大学CCIS开放的房子2007年3月,波士顿,MA,。

中介语迁移:从脚本程序,动态语言研讨会(DLS)2006年10月,波特兰,或。

论文

球拍宣言。与马提亚类,罗伯特布鲁斯Findler,马修FlattShriram Krishnamurthi,以利,22杰伊·麦卡锡。
编程语言的发展峰会(SNAPL),2015年5月。
(PDF|HTML]

Meta-tracing快拍。与卡尔•弗里德里希•Bolz Tobias佩普和杰里米·g·Siek。
动态语言和应用研讨会(DYLA), 2014年6月。
(PDF|GitHub]

驯服并行效果动物园:可扩展的确定性与LVish并行性。亚伦与林赛•库珀托德和瑞恩·牛顿。
编程语言设计和实现会议(PLDI), 2014年6月。
(PDF|LVish]

网络作为一种语言构造。与托尼Garnock-Jones和马提亚类。
欧洲研讨会上编程(ESOP),2014年4月。
(PDF|网页|市场]

陪伴和模仿者:运行时支持合理的介入。与t·斯蒂芬·斯特里克兰,罗伯特布鲁斯Findler和马修Flatt。
面向对象编程、系统语言和应用程序(OOPSLA),2012年10月。
(PDF|网页|文档]

优化指导。与文森特St-Amour和马提亚类。
面向对象编程、系统语言和应用程序(OOPSLA),2012年10月。
(PDF|GitHub]

运行您的研究:在轻型机械化的有效性。凯西·克莱恩,约翰·克莱门茨,克里斯托Dimoulas,卡尔Eastlund,马提亚类,马修Flatt,杰伊·麦卡锡Jon Rafkind和罗伯特布鲁斯Findler。
研讨会的原则编程语言(POPL),2012年1月。
(PDF|模型|Redex]

语言库。与文森特St-Amour,瑞安Culpepper,马修Flatt和马提亚类。
编程语言设计和实现会议(PLDI),2011年6月。
(PDF|ACM DL]

在一个可扩展的语言可扩展模式匹配(预印本)。
2010年10月。
(PDF|arXiv|文档]

可扩展模式匹配在一个可扩展的语言(抽象)。
函数式语言的研讨会上的实现和应用,2010年9月。
(PDF|乌特勒支技术报告]

你要去与那些类型?(抽象)。与文森特St-Amour,马修Flatt和马提亚类。
函数式语言的研讨会上的实现和应用,2010年9月。
(PDF|乌特勒支技术报告]

先进的烦冗和类型的实现方案。与瑞安Culpepper和马修Flatt。
车间计划和函数式编程,2007年9月。
(PDF|诉讼]

会谈

从原理到实践类的第一年,OOPLSA电脑会议研讨会,欧文,CA, 2013年5月。

语言库,Dagstuhl会议脚本语言的基础,Wadern,德国,2012年1月。

语言库,编程语言设计和实现会议(PLDI)2011年6月,圣何塞,马,。

语言库,麻省理工学院工作组CSAIL的编程语言、剑桥、马,2011年5月。

用一个可扩展的语言可扩展的模式匹配,函数式语言的实现和应用荷兰,荷兰der Rijn, 2010年9月。

论文

软合同确认。菲尔阮和大卫范霍恩。
函数式编程(ICFP)国际会议上,2014年9月。
(ACM|arXiv]

高阶符号通过合同执行。与大卫范霍恩。
面向对象编程、系统语言和应用程序(OOPSLA),2012年10月。
(PDF|arXiv]

语义程序分析问题的解决方案。与大卫范霍恩。
有趣的想法和思想会议会议的编程语言设计和实现,2011年6月。
(PDF|arXiv]

会谈

语义程序分析问题的解决方案,有趣的想法和思想会议会议的编程语言设计和实现2011年6月,圣何塞,CA,。

论文

JavaScript模块(预印本)。与戴夫·赫尔曼。
2011年4月。
(PDF]

建议

模块和模块加载器。与戴夫·赫尔曼。
从2011年9月草稿。

私人的名字。与戴夫·赫尔曼和艾伦Wirfs-Brock。
从2011年9月草案。

会谈

研究与应用:生活EcmaScript委员会,东北大学博士研讨会,波士顿,MA, 2012年。

网络的未来:来了!,Childrens Hospital developers group, Boston, MA, December 2011.

论文

要塞语言规范。埃里克·艾伦,大卫追逐,乔·哈雷特Victor Luchangco Jan-Willem Maessen, Sukyoung Ryu和斯蒂尔的家伙。
太阳微系统技术报告,1.0版本,2008。
(PDF]

一个元类的核心微积分。埃里克·艾伦。
研讨会面向对象语言的基础(傻瓜),2005年1月。
(PDF|诉讼]