缺少摘要。
- C编译器基础设施诺曼·拉姆齐,西蒙·佩顿·琼斯.1 [美国国防部]
- Galois：高保证软件约翰·朗奇伯里.三 [美国国防部]
- 快速咖喱：push/enter vs.eval/apply for high-order languages西蒙·马洛,西蒙·佩顿·琼斯.4-15 [美国国防部]
- 通过部分求值改进嵌入式语言的静态分析大卫·赫尔曼,菲利普·梅尼尔.16-27 [美国国防部]
- 调试并发haskell程序时搜索死锁简·克里斯蒂安森,弗兰克·赫赫.28-39 [美国国防部]
- 延续和提示的类型理论基础泽纳·M·阿里奥拉,雨果·赫伯林,Amr Sabry公司.40-53 [美国国防部]
- 回溯的相关模型米切尔·旺德,Dale Vaillancourt公司.54-65 [美国国防部]
- 不要犯错误：将编程作为调试保罗·格雷厄姆.66 [美国国防部]
- 正则表达式模式尼古拉斯·布罗伯格,安德烈亚斯·法尔,约瑟夫·斯文宁森.67-78 [美国国防部]
- 多次返回函数调用奥林·西弗斯,大卫·费希尔.79-89 [美国国防部]
- 使用多线程和存储实现函数逻辑语言安德鲁·托尔马赫,塞尔吉奥·安托伊,马吕斯·尼塔.90-102 [美国国防部]
- 一元区域马修·弗莱特,J.格雷戈里·莫里塞特.103-114 [美国国防部]
- 将依赖性转换为参数一名来自中国谢姓移民,史蒂夫·兹丹塞维奇.115-125 [美国国防部]
- XML查询的路径正确性类型达里奥·科拉佐,乔治·盖利,保罗·曼吉,卡洛·萨蒂亚尼.126-137 [美国国防部]
- 类型、效力和幂等性：为什么非线性和健忘症使类型系统工作彼得·莫勒·内尔加德,哈里·梅森.138-149 [美国国防部]
- 编号事项：二阶递归类型的一阶规范形式纳迪·戈蒂尔（Nadji Gauthier）,弗朗索瓦·波蒂埃.150-161 [美国国防部]
- 工业函数编程20年乌尔夫·维格.162 [美国国防部]
- 从过程逻辑到程序逻辑Kohei Honda公司.163-174 [美国国防部]
- 并发汇编代码的安全属性验证大川于,钟绍.175-188 [美国国防部]
- 健全（完整）的合同模式马蒂亚斯·布鲁姆,大卫·A·麦卡利斯特.189-200 [美国国防部]
- 用于编译器教育的nanopass基础设施迪潘维塔·萨卡尔,奥斯卡·沃德尔,R.Kent Dybvig公司.201-212 [美国国防部]
- 功能形态学马库斯·福斯伯格,阿内·兰塔.213-223 [美国国防部]
- 幻灯片放映：功能演示罗比·芬德勒,马修·弗拉特.224-235 [美国国防部]
- 大众通用拉尔夫·欣泽.236-243 [美国国防部]
- 放弃更多样板：反射、zip和通用类型转换拉尔夫·拉梅尔,西蒙·佩顿·琼斯.244-255 [美国国防部]