| 2005 | Towards a type theory of contexts. | Frank Pfenning |
| 2005 | Continuations from generalized stack inspection. | Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen |
| 2005 | Engineering software correctness. | Rex L. Page |
| 2005 | A computational approach to reflective meta-reasoning about languages with bindings. | Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey |
| 2005 | Dynamic optimization for functional reactive programming using generalized algebraic data types. | Henrik Nilsson |
| 2005 | Translating specifications from nominal logic to CIC with the theory of contexts. | Marino Miculan, Ivan Scagnetto, Furio Honsell |
| 2005 | Aspectual Caml: an aspect-oriented functional language. | Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa |
| 2005 | Type inference, principal typings, and let-polymorphism for first-class mixin modules. | Henning Makholm, J. B. Wells |
| 2005 | Qualified types for MLF. | Daan Leijen, Andres Lh |
| 2005 | Scrap your boilerplate with class: extensible generic functions. | Ralf Lmmel, Simon L. Peyton Jones |
| 2005 | Backtracking, interleaving, and terminating monad transformers: (functional pearl). | Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry |
| 2005 | Teaching of image synthesis in functional style. | Jerzy Karczmarczuk |
| 2005 | Mechanizing the meta-theory of programming languages. | Robert Harper |
| 2005 | A principled approach to operating system construction in Haskell. | Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach |
| 2005 | Monadic augment and generalised short cut fusion. | Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene |
| 2005 | Modular verification of concurrent assembly code with dynamic thread creation and termination. | Xinyu Feng, Zhong Shao |
| 2005 | How to design class hierarchies. | Matthias Felleisen |
| 2005 | JavaScript at ten years. | Brendan Eich |
| 2005 | Recursive type generativity. | Derek Dreyer |
| 2005 | Combining higher-order abstract syntax with first-order abstract syntax in ATS. | Kevin Donnelly, Hongwei Xi |
| 2005 | High-level views on low-level representations. | Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie |
| 2005 | Poly | Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich |
| 2005 | Word puzzles in Haskell: interactive games for functional programming exercises. | S. A. Curtis |
| 2005 | Combining programming with theorem proving. | Chiyan Chen, Hongwei Xi |
| 2005 | Toward a general theory of names: binding and scope. | James Cheney |