| 2009 | A theory of typed coercions and its applications. | Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
| 2009 | Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. | Guy L. Steele Jr. |
| 2009 | Safe functional reactive programming through dependent types. | Neil Sculthorpe, Henrik Nilsson |
| 2009 | Complete and decidable type inference for GADTs. | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
| 2009 | Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage. | Curt J. Sampson |
| 2009 | Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. | Tiark Rompf, Ingo Maier, Martin Odersky |
| 2009 | Parallel concurrent ML. | John H. Reppy, Claudio V. Russo, Yingqi Xiao |
| 2009 | Commutative monads, diagrams and knots. | Dan P. Piponi |
| 2009 | Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. | Benjamin C. Pierce |
| 2009 | Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. | Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colao |
| 2009 | Experience report: embedded, parallel computer-vision with a functional DSL. | Ryan Newton, Teresa Ko |
| 2009 | Non-parametric parametricity. | Georg Neis, Derek Dreyer, Andreas Rossberg |
| 2009 | Control-flow analysis of function calls and returns by abstract interpretation. | Jan Midtgaard, Thomas P. Jensen |
| 2009 | Automatically RESTful web applications: marking modular serializable continuations. | Jay A. McCarthy |
| 2009 | Runtime support for multicore Haskell. | Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
| 2009 | Type-specialized staged programming with process separation. | Yu David Liu, Christian Skalka, Scott F. Smith |
| 2009 | Causal commutative arrows and their optimization. | Hai Liu, Eric Cheng, Paul Hudak |
| 2009 | The function concept in C++: an empirical study. | Daniel Lincke, Sibylle Schupp |
| 2009 | A universe of binding and computation. | Daniel R. Licata, Robert Harper |
| 2009 | Type-safe diff for families of datatypes. | Eelco Lempsink, Sean Leather, Andres Lh |
| 2009 | Experience report: seL4: formally verifying a high-performance microkernel. | Gerwin Klein, Philip Derrin, Kevin Elphinstone |
| 2009 | Adaptable component frameworks: using vector from the C++ standard library as an example. | Jyrki Katajainen, Bo Simonsen |
| 2009 | Functional pearl: la tour d'Hano. | Ralf Hinze |
| 2009 | Parametric datatype-genericity. | Jeremy Gibbons, Ross Paterson |
| 2009 | Identifying query incompatibilities with evolving XML schemas. | Pierre Genevs, Nabil Layada, Vincent Quint |