类型类的优点：Agda中的实例参数
Dominique Devriese和Frank Piessens（K.U.Leuven）
参数多态性的集合理论基础和子类型
朱塞佩·卡斯塔尼亚（CNRS-巴黎迪德罗大学）和徐志武（巴黎狄德罗大学和中国科学院软件研究所）
合成几何IV
Dan R.Ghica和Alex Smith（伯明翰大学）Satnam Singh（微软研究院）
抢占式操作系统内核的模块化验证
Alexey Gotsman（IMDEA软件研究所）和杨红seok（伦敦玛丽女王大学）
经验报告：音乐和声的功能建模
JoséPedro Magalháes和W.Bas de Haas（乌得勒支大学）
用于高效双向转换的增量更新
Meng Wang（查尔默斯理工大学）和Jeremy Gibbons和Nicolas Wu（牛津大学）
经验报告：深层次函数式编程
艾米丽·米切尔（英国剑桥大学）
用范畴理论证明唯一定点原理的正确性
Ralf Hinze和Daniel W.H.James（牛津大学）
Monad，拉链和视图：虚拟化Monad堆栈
Tom Schrijvers（比利时根特大学）和Bruno C.d.S.Oliveira（韩国首尔国立大学ROSACE中心）
森林：一种使用文件存储进行编程的语言和工具包
Kathleen Fisher（塔夫茨大学）、Nate Foster（康奈尔大学）、，David Walker（普林斯顿大学）和Kenny Q.Zhu（上海交通大学）
纯函数程序的隐式自调整计算
Yan Chen、Joshua Dunfield、Matthew A.Hammer和Umut A.Acar（MPI-SWS）
就这么做：简单的一元等式推理
Jeremy Gibbons和Ralf Hinze（牛津大学）
强制程序验证的特征公式
Arthur Charguéraud（Max-Planck软件系统研究所）
子类型分隔的延续
Marek Materzok和Dariusz Biernacki（弗罗茨瓦夫大学）
具有值相关类型的安全分布式编程
Nikhil Swamy、Juan Chen和Cedric Fournet（微软研究院），Pierre-Yves Strub（MSR-INRIA）、Karthikeyan Bhargavan（INRIAJean Yang（麻省理工学院）
临时高阶合同
蒂姆·迪士尼（Tim Disney）和科马克·弗拉纳根（Cormac Flanagan）（加州大学圣克鲁斯分校）以及杰伊·麦卡锡（杨百翰大学）
一级控制下推流分析
Dimitrios Vardoulakis和Olin Shivers（东北大学）
基于多语言语义的对等保留CPS翻译
Amal Ahmed（印第安纳大学）和Matthias Blume（谷歌）
第三列表同态定理的推广与对偶
Shin-Cheng Mu（台湾中央研究院）和Akimasa Morihata（日本东北大学）
功能珍珠：用衍生物解析
Matthew Might和David Darais（犹他大学）丹尼尔·斯皮瓦克（威斯康星大学密尔沃基分校）
ML的轻量级单子编程
Nikhil Swamy（微软研究院），Nataliya Guts（马里兰大学，学院公园），Daan Leijen（微软研究院），以及迈克尔·希克斯（马里兰大学帕克分校）
Frenetic：一种网络编程语言
内特·福斯特（康奈尔大学），Rob Harrison、Michael J.Freedman、Christopher Monsanto和Jennifer Rexford（普林斯顿大学），亚历克·斯托里（康奈尔大学），以及大卫·沃克（普林斯顿大学）
递归组合器的Mendler层次结构：驯服负发生的归纳数据类型。
Ki Yung Ahn和Tim Sheard（波特兰州立大学）
平衡树驻留函数并行程序设计
森喜昭（东北大学）和Kiminori Matsuzaki（高知理工大学）
基于效果的程序转换的Kripke逻辑关系
Jacob Thamsborg和Lars Birkedal（哥本哈根IT大学）
基于模式匹配的类型化自我解释
C.Barry Jay（悉尼科技大学）和Jens Palsberg（加州大学洛杉矶分校，加利福尼亚大学洛杉矶分校）
经验报告：使用Camlp4在Web上演示动态数学：DynaMoW，用于运行时生成的OCaml语言扩展数学内容及其在网络上的呈现
Frédéric Chyzak（INRIA）和Alexis Darrasse（巴黎第六大学）
参数多态性与语义分型：逻辑联系
尼尔斯·盖斯伯特（INRIA）、皮埃尔·杰奈夫斯（CNRS）和纳比尔·莱亚达（INRIA）
线性和PCF：语义洞察力！
Marco Gaboardi（博洛尼亚大学），卢卡·保里尼（都灵大学），以及毛罗·皮科洛（都灵理工大学）
如何使特设证明自动化不那么特设
Georges Gonthier（微软研究院），Beta Ziliani（MPI-SWS），Aleksandar Nanevski（IMDEA软件研究所），以及德里克·德雷耶（MPI-SWS）
无名无痛
尼古拉斯·波利拉德（印度）
图形用户界面的语义模型
Neelakantan R.Krishnaswami和Nick Benton（微软研究院）
带绑定和替换的语法递归原则
安德烈·波佩斯库（慕尼黑工业大学）和Elsa Gunter（伊利诺伊大学）
活页夹未绑定
Stephanie Weirich和Brent Yorgey（宾夕法尼亚大学）以及蒂姆·谢尔德（波特兰州立大学）
通过控制日志记录进行模块化回滚
Olin Shivers和Aaron Turon（东北大学）
推导一种高效的FPGA实现低密度奇偶校验前向纠错器
安迪·吉尔和安德鲁·法默（堪萨斯大学）
一种高效的函数式语言非移动垃圾收集器
上野胜弘（Katsuhiro Ueno）、大原厚司（Atsushi Ohori）和大藤俊彦（Toshiaki Otomo）（东北大学）
使标准ML成为一种实用的数据库编程语言
Atsushi Ohori和Katsuhiro Ueno（东北大学）