| 2006 | Design patterns as higher-order datatype-generic programs. | Jeremy Gibbons |
| 2006 | OCaml + XDuce. | Alain Frisch |
| 2006 | Static analysis for syntax objects. | David Fisher, Olin Shivers |
| 2006 | The development of Chez Scheme. | R. Kent Dybvig |
| 2006 | Modelling deterministic concurrent I/O. | Malcolm Dowse, Andrew Butterfield |
| 2006 | Transactional events. | Kevin Donnelly, Matthew Fluet |
| 2006 | Abstraction preservation and subtyping in distributed languages. | Pierre-Malo Denilou, James J. Leifer |
| 2006 | Modular development of certified program verifiers with a proof assistant. | Adam Chlipala |
| 2006 | A pattern for almost compositional functions. | Bjrn Bringert, Aarne Ranta |
| 2006 | Extensible programming with first-class cases. | Matthias Blume, Umut A. Acar, Wonseok Chae |
| 2006 | Fifteen years of functional pearls. | Richard S. Bird |
| 2006 | Access control in a core calculus of dependency. | Martn Abadi |
| 2005 | A language-based approach to functionally correct imperative programming. | Edwin M. Westbrook, Aaron Stump, Ian Wehrman |
| 2005 | A formal treatment of the barendregt variable convention in rule inductions. | Christian Urban, Michael Norrish |
| 2005 | Witnessing side-effects. | Tachio Terauchi, Alex Aiken |
| 2005 | A unified category-theoretic formulation of typed binding signatures. | Miki Tanaka, John Power |
| 2005 | MinCaml: a simple and efficient compiler for a minimal functional language. | Eijiro Sumii |
| 2005 | Types with semantics: soundness proof assistant. | Olha Shkaravska |
| 2005 | The anatomy of a loop: a story of scope and control. | Olin Shivers |
| 2005 | Acute: high-level programming language design for distributed computation. | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
| 2005 | AtomCaml: first-class atomicity via rollback. | Michael F. Ringenburg, Dan Grossman |
| 2005 | Simple, partial type-inference for System F based on type-containment. | Didier Rmy |
| 2005 | An expressive language of signatures. | Norman Ramsey, Kathleen Fisher, Paul Govereau |
| 2005 | Fast narrowing-driven partial evaluation for inductively sequential programs. | J. Guadalupe Ramos, Josep Silva, Germn Vidal |
| 2005 | From ML type inference to stratified type inference. | Franois Pottier |