缺少摘要。
- 通过域精化进行扩展的局部完整分析的逻辑弗拉维奥·阿斯卡里,罗伯托·布鲁尼,罗伯塔·戈里.1-27 [美国国防部]
- 具有局部痕迹的聚类关系线程模块抽象解释迈克尔·施瓦兹0007,Simmo Saan公司,赫尔穆特·塞德尔,朱利安·埃哈德,维萨尔·沃达尼.28-58 [美国国防部]
- 程序级安全分析的对手可达性索林·杜库索,塞巴斯蒂安·巴丁,玛丽·劳雷·波特.59-89 [美国国防部]
- 正则表达式的自动分级金素妍（Su-Hyeon Kim）,Youngwook Kim公司,Yo-Sub Han（韩国）,Hyeonseung Im公司,Sang-Ki Ko公司.90-112 [美国国防部]
- 视为归纳族的内置类型纪尧姆·阿拉斯.113-139 [美国国防部]
- 语用逐步多态性与指称文佳叶,布鲁诺·C·D·S·奥利维拉.140-167 [美国国防部]
- 间歇计算的模态碰撞类型Farzaneh Derakhshan公司,玛拉·多泽尔,米利贾纳·苏巴托维奇,利民佳0001.168-196 [美国国防部]
- 渐进张量形状检查Momoko Hattori公司,Naoki Kobayashi 0001号,佐藤良介0001.197-224 [美国国防部]
- 一个用于效果处理程序和动态标签的类型系统保罗·埃米利奥·德·维赫纳,弗朗索瓦·波蒂埃.225-252 [美国国防部]
- 解释基于知识的程序亚历山大·纳普,赫里贝特·穆尔伯格,伯恩哈德再利用.253-280 [美国国防部]
- 具有多形语境的语境模态类型理论Yuito Murase公司,西崎裕一,Atsushi Igarashi先生.281-308 [美国国防部]
- 无跳保护Kleene代数的完备推理系统及其测试托德·施密德,托比亚斯·卡佩,亚历山大·席尔瓦0001.309-336 [美国国防部]
- 共识协议的仲裁树抽象虹膜伯克,康斯坦丁埃纳,苏哈·奥伦·穆特鲁格尔.337-362 [美国国防部]
- MAGπ：故障电话通信类型马修·艾伦·勒·布伦,奥内拉·达达.363-391 [美国国防部]
- 具有上下文无关会话类型的ømega迪奥戈·波萨斯,戴安娜·科斯塔0001,安德烈娅·莫迪多,Vasco T.Vasconcelos公司.392-420 [美国国防部]
- 共享线性状态的基于会话的安全并发佩德罗·罗查,路易斯·凯雷斯.421-450 [美国国防部]
- 束模糊：向量度量的灵敏度六月·旺德,阿瑟·阿泽夫多·德·阿莫林,帕特里克·拜洛特,马可·加博阿迪.451-478 [美国国防部]
- 基于平滑的概率规划快速校正梯度优化巴西姆·卡伊瓦尔,C.-H.卢克·翁,多米尼克·瓦格纳.479-506 [美国国防部]
- Idris中的类型安全量子编程莉莲·乔伊·丹迪,伊曼纽尔·詹德尔,弗拉基米尔·扎姆德日耶夫.507-534 [美国国防部]
- 高阶概率程序设计语言中的自动对齐丹尼尔·隆德,吉泽姆·乔伊拉克,弗雷德里克·伦奎斯特,大卫·布洛曼.535-563 [美国国防部]