| 2009 | A concurrent ML library in concurrent Haskell. Avik Chaudhuri |
| 2009 | A functional I/O system or, fun for freshman kids. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
| 2009 | A theory of typed coercions and its applications. Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
| 2009 | A universe of binding and computation. Daniel R. Licata, Robert Harper |
| 2009 | Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra |
| 2009 | Automatically RESTful web applications: marking modular serializable continuations. Jay A. McCarthy |
| 2009 | Beautiful differentiation. Conal M. Elliott |
| 2009 | Biorthogonality, step-indexing and compiler correctness. Nick Benton, Chung-Kil Hur |
| 2009 | Causal commutative arrows and their optimization. Hai Liu, Eric Cheng, Paul Hudak |
| 2009 | Commutative monads, diagrams and knots. Dan P. Piponi |
| 2009 | Complete and decidable type inference for GADTs. Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
| 2009 | Control-flow analysis of function calls and returns by abstract interpretation. Jan Midtgaard, Thomas P. Jensen |
| 2009 | Effective interactive proofs for higher-order imperative programs. Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
| 2009 | Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage. Curt J. Sampson |
| 2009 | Experience report: OCaml for an industrial-strength static analysis framework. Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti |
| 2009 | Experience report: embedded, parallel computer-vision with a functional DSL. Ryan Newton, Teresa Ko |
| 2009 | Experience report: ocsigen, a web programming framework. Vincent Balat, Jérôme Vouillon, Boris Yakobowski |
| 2009 | Experience report: seL4: formally verifying a high-performance microkernel. Gerwin Klein, Philip Derrin, Kevin Elphinstone |
| 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 Colaço |
| 2009 | Finding race conditions in Erlang with QuickCheck and PULSE. Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger |
| 2009 | Free theorems involving type constructor classes: functional pearl. Janis Voigtländer |
| 2009 | Functional pearl: la tour d'Hanoï. Ralf Hinze |
| 2009 | Generic programming with fixed points for mutually recursive datatypes. Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring |
| 2009 | Identifying query incompatibilities with evolving XML schemas. Pierre Genevès, Nabil Layaïda, Vincent Quint |
| 2009 | Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. Tiark Rompf, Ingo Maier, Martin Odersky |
| 2009 | Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. Benjamin C. Pierce |
| 2009 | Non-parametric parametricity. Georg Neis, Derek Dreyer, Andreas Rossberg |
| 2009 | OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons. Thomas Gazagnaire, Vincent Hanquez |
| 2009 | Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. Guy L. Steele Jr. |
| 2009 | Parallel concurrent ML. John H. Reppy, Claudio V. Russo, Yingqi Xiao |
| 2009 | Partial memoization of concurrency and communication. Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
| 2009 | Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009 Graham Hutton, Andrew P. Tolmach |
| 2009 | Purely functional lazy non-deterministic programming. Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan |
| 2009 | Runtime support for multicore Haskell. Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
| 2009 | Safe functional reactive programming through dependent types. Neil Sculthorpe, Henrik Nilsson |
| 2009 | Scribble: closing the book on ad hoc documentation tools. Matthew Flatt, Eli Barzilay, Robert Bruce Findler |