缺少摘要。
- 使用依赖类型证明终止：XOR项的情况Jean-François Monin女士,朱迪卡·库兰特.1-18
- 证明函数程序算法调试的正确性罗勇（Yong Luo）,奥拉夫·奇蒂尔.19-34
- 功能的系统综合彼得·库普曼,马林努斯·普拉斯梅耶尔.35-54
- Haskell中ROBDD的纯功能实现简·克里斯蒂安森,弗兰克·赫赫.55-71
- 通过将数据类型和模式转换为函数实现高效解释简·马丁·简森,彼得·库普曼,马林努斯·普拉斯梅耶尔.73-90
- 依赖类型理论中的面向对象编程安东·塞泽尔.91-108
- SAFE共享分析里卡多·佩尼亚·马里,克拉拉·塞古拉,曼努埃尔黑山.109-128
- 使用运行时别名检测提高内存使用率花井龙雄,Ugawa知湖,Masashi Yoneda公司,雅苏吉（Masahiro Yasugi）,Yuasa太一.129-144
- 具有动态编译和优化功能的函数编程模型马丁·格拉布米勒.145-161
- C中的函数概念++罗斯·H·阿卜杜勒·劳夫,乌尔里希·伯杰,安东·塞泽尔.163-179
- 基于资源的Web应用程序塞巴斯蒂安·费舍尔.181-197
- 面向大众的可扩展和模块化泛型布鲁诺·C·d·S·奥利维拉,拉尔夫·欣泽,安德烈斯·洛赫.199-216年
- 抽象数据类型何时是函子？巴勃罗·诺盖拉.217-231