论文

• 通过Coalgebra进行摊销分析哈里森·格罗丁和罗伯特·哈珀。2024年4月。（正在审查中。）
• 综合域理论中高阶递归的成本敏感计算充分性岳牛、乔纳森·斯特林和罗伯特·哈珀。2024年4月。（正在审查中。）
• 贴花：一个有指导、有效的成本意识逻辑框架哈里森·格罗丁（Harrison Grodin）、罗伯特·哈珀（Robert Harper）、岳牛（Yue Niu）和乔纳森·斯特林（Jonathan Sterling）。ACM PoPL，2024年1月。
• 可接合红黑树的验证成本分析李润明、哈里森·格罗丁和罗伯特·哈珀。2023年10月。
• 会话类型并发的逻辑关系斯蒂芬妮·巴尔泽（Stephanie Balzer）、法扎内赫·德拉赫尚（Farzaneh Derakhshan）、罗伯特·哈珀（Robert Harper）和岳瑶（Yue Yao）。2023年7月。
• 通过合并进行摊销分析哈里森·格罗丁和罗伯特·哈珀。CALCO，布卢明顿，2023年6月。
• 成本感知指称语义的元语言.岳牛和罗伯特·哈珀。LICS，波士顿，2023年6月。
• 成本软件逻辑框架.岳牛、乔纳森·斯特林、哈里森·格罗丁和罗伯特·哈珀。ACM PoPL会议，2022年1月。（存储库：阿格达小牛.)

会谈

• 类型理论中成本与行为的整合2023年10月，索菲亚·安蒂波利斯，莫根斯坦学术讨论会，印度国家研究院和蓝色大学。
• 类型理论中成本与行为的整合.全体受邀演讲计算机/多功能计算机，布鲁明顿，2023年6月。（另请参见LIPIcs第270卷CALCO 2023.)
• 成本语义和验证2022年10月15日，匹兹堡，盖伊·布莱洛赫60岁生日庆典。

学生

• 岳牛.成本软件逻辑框架预计完工时间：2024年秋季。
• 哈里森·格罗丁.成本软件逻辑框架。

合作者

• 乌穆特·阿克.并行编程。
• 斯蒂芬妮·巴尔泽。用于并发的会话类型。
• 盖伊·E·布莱洛.并行性、成本语义、集成算法和编程语言。
• 卡尔·克莱里.认证编译器、逻辑框架、机械化元理论。
• Kuen-Bang Hou（法沃尼亚），美国大学明尼苏达州。立方计算型理论。
• 丹尼尔·里卡塔卫斯理大学。较高的类型理论。
• 马克斯·普朗克软件系统研究所德国Kaiserslautern和Saarbruecken。外部科学成员。

书

• 罗伯特·哈珀。编程语言实用基础（第二版）
• 罗伯特·哈珀。标准ML编程, 2013.
• 罗伯特·哈珀（编辑）。编译中的类型《Springer-Verlag计算机科学讲稿》，2001年。
• Robin Milner、Mads Tofte、Robert Harper和David麦奎因。标准ML的定义（修订版）。麻省理工学院出版社，1997年。
  （可在SML系列网站.)

课程

• 15-791：编程语言原理高级主题（2024年春季）.
• 15-312/15-652：编程语言原理（2023年春季）.

荣誉和奖项

• ACM SIGPLAN编程语言成就奖, 2021.
• 2007年IEEE计算机科学测试逻辑研讨会时间奖。
• ACM SIGPLAN最具影响力PLDI论文奖, 2006.
• 美国计算机协会院士, 2005.
• 艾伦·纽厄尔卓越研究奖卡内基梅隆大学计算机科学学院，2001年。
• 赫伯特·A·西蒙计算机科学优秀教学奖卡内基梅隆大学计算机科学学院，2001年。

会议和研讨会

• IFIP WG2.8函数编程工作组

期刊销售

• 编辑委员会，基础编程语言的发展趋势.

网站

• 红色*系列校对助理
• SML系列函数式编程语言。
• Twelf公司LF逻辑框架的实现。

研究经费

• 根据MURI拨款FA9550-21-0009，Tristan Nguyen，AFOSR，项目经理。
• AFOSR，合同编号：FA9550-21-1-0385，项目经理Tristan Nguyen。
• NSF授予CCF-1901381，“并行算法的设计、分析和实现的算法λ-微积分”

上次修改时间：