| 2009 | OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons. | Thomas Gazagnaire, Vincent Hanquez |
| 2009 | Scribble: closing the book on ad hoc documentation tools. | Matthew Flatt, Eli Barzilay, Robert Bruce Findler |
| 2009 | Purely functional lazy non-deterministic programming. | Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan |
| 2009 | A functional I/O system or, fun for freshman kids. | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
| 2009 | Beautiful differentiation. | Conal M. Elliott |
| 2009 | Experience report: OCaml for an industrial-strength static analysis framework. | Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Graud Canet, Loc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti |
| 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 | Effective interactive proofs for higher-order imperative programs. | Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
| 2009 | A concurrent ML library in concurrent Haskell. | Avik Chaudhuri |
| 2009 | Biorthogonality, step-indexing and compiler correctness. | Nick Benton, Chung-Kil Hur |
| 2009 | Experience report: ocsigen, a web programming framework. | Vincent Balat, Jrme Vouillon, Boris Yakobowski |
| 2009 | Meeting a fanclub: a lattice of generic shape selectors. | Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk |
| 2008 | A robot in every classroom: robots and functional programming across the curriculum. | David Wakeling |
| 2008 | FPH: first-class polymorphism for Haskell. | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
| 2008 | Polytypic programming in COQ. | Wendy Verbruggen, Edsko de Vries, Arthur Hughes |
| 2008 | Experimenting with formal languages using forlan. | Alley Stoughton |
| 2008 | A functional model-view-controller software architecture for command-oriented programs. | Alley Stoughton |
| 2008 | Space profiling for parallel functional programs. | Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons |
| 2008 | Type checking with open type functions. | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
| 2008 | Tips on teaching types and functions. | Fritz Ruehr |
| 2008 | From ML to ML | Didier Rmy, Boris Yakobowski |
| 2008 | The chilling descent: making the transition to a conventional curriculum. | Prabhakar Ragde |
| 2008 | Functional netlists. | Sungwoo Park, Jinha Kim, Hyeonseung Im |
| 2008 | Functional programming and theorem proving for undergraduates: a progress report. | Rex L. Page, Carl Eastlund, Matthias Felleisen |
| 2008 | The power of Pi. | Nicolas Oury, Wouter Swierstra |