| 2005 | A language-based approach to functionally correct imperative programming. Edwin M. Westbrook, Aaron Stump, Ian Wehrman |
| 2005 | A logical analysis of aliasing in imperative higher-order functions. Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2005 | A principled approach to operating system construction in Haskell. Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach |
| 2005 | A step-indexed model of substructural state. Amal J. Ahmed, Matthew Fluet, Greg Morrisett |
| 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 | An expressive language of signatures. Norman Ramsey, Kathleen Fisher, Paul Govereau |
| 2005 | Aspectual Caml: an aspect-oriented functional language. Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa |
| 2005 | Associated type synonyms. Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
| 2005 | AtomCaml: first-class atomicity via rollback. Michael F. Ringenburg, Dan Grossman |
| 2005 | Backtracking, interleaving, and terminating monad transformers: (functional pearl). Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry |
| 2005 | Combining programming with theorem proving. Chiyan Chen, Hongwei Xi |
| 2005 | Continuations from generalized stack inspection. Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen |
| 2005 | Dynamic optimization for functional reactive programming using generalized algebraic data types. Henrik Nilsson |
| 2005 | Fast narrowing-driven partial evaluation for inductively sequential programs. J. Guadalupe Ramos, Josep Silva, Germán Vidal |
| 2005 | From ML type inference to stratified type inference. François Pottier |
| 2005 | High-level views on low-level representations. Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie |
| 2005 | JavaScript at ten years. Brendan Eich |
| 2005 | Mechanizing the meta-theory of programming languages. Robert Harper |
| 2005 | Modular verification of concurrent assembly code with dynamic thread creation and termination. Xinyu Feng, Zhong Shao |
| 2005 | Monadic augment and generalised short cut fusion. Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene |
| 2005 | Poly Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich |
| 2005 | Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 Olivier Danvy, Benjamin C. Pierce |
| 2005 | Qualified types for MLF. Daan Leijen, Andres Löh |
| 2005 | Recursive type generativity. Derek Dreyer |
| 2005 | Scrap your boilerplate with class: extensible generic functions. Ralf Lämmel, Simon L. Peyton Jones |
| 2005 | Scrap your nameplate: (functional pearl). James Cheney |
| 2005 | Simple, partial type-inference for System F based on type-containment. Didier Rémy |
| 2005 | The anatomy of a loop: a story of scope and control. Olin Shivers |
| 2005 | Type inference, principal typings, and let-polymorphism for first-class mixin modules. Henning Makholm, J. B. Wells |
| 2005 | Witnessing side-effects. Tachio Terauchi, Alex Aiken |