| 2008 | Mixin' up the ML module system. | Derek Dreyer, Andreas Rossberg |
| 2008 | NixOS: a purely functional Linux distribution. | Eelco Dolstra, Andres Lh |
| 2008 | Report on the tenth ICFP programming contest. | Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Lh, Clara Lh, Arie Middelkoop, Alexey Rodriguez, John van Schie |
| 2008 | Defunctionalized interpreters for programming languages. | Olivier Danvy |
| 2008 | Experience report: erlang in acoustic ray tracing. | Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell, Lutz Hamel |
| 2008 | Parametric higher-order abstract syntax for mechanized semantics. | Adam Chlipala |
| 2008 | FLUX: functional updates for XML. | James Cheney |
| 2008 | Functional translation of a calculus of capabilities. | Arthur Charguraud, Franois Pottier |
| 2008 | Typed iterators for XML. | Giuseppe Castagna, Kim Nguyen |
| 2008 | Htdp and dmda in the battlefield: a case study in first-year programming instruction. | Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel |
| 2008 | A comparison of c++ concepts and haskell type classes. | Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz |
| 2008 | Paradise: a two-stage DSL embedded in Haskell. | Lennart Augustsson, Howard Mansell, Ganesh Sittampalam |
| 2008 | SASyLF: an educational proof assistant for language theory. | Jonathan Aldrich, Robert J. Simmons, Key Shin |
| 2008 | Typed closure conversion preserves observational equivalence. | Amal Ahmed, Matthias Blume |
| 2008 | Efficient nondestructive equality checking for trees and graphs. | Michael D. Adams, R. Kent Dybvig |
| 2008 | Teaching functional programming with soccer-fun. | Peter Achten |
| 2007 | Experience report: scheme in commercial web application development. | Noel Welsh, David Gurnell |
| 2007 | Experience report: functional programming in c-rules. | Jeremy Wazny |
| 2007 | Extensible pattern matching via a lightweight language extension. | Don Syme, Gregory Neverov, James Margetson |
| 2007 | Program-ing finger trees in Coq. | Matthieu Sozeau |
| 2007 | Experience report: the reactis validation tool. | Steve Sims, Daniel C. DuVarney |
| 2007 | Ott: effective tool support for the working semanticist. | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
| 2007 | Termination analysis and call graph construction for higher-order functional programs. | Damien Sereni |
| 2007 | iTasks: executable specifications of interactive work flow systems for the web. | Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman |
| 2007 | Subtyping and intersection types revisited. | Frank Pfenning |