| 2005 | Scrap your nameplate: (functional pearl). | James Cheney |
| 2005 | Associated type synonyms. | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
| 2005 | From functional to object-oriented programming: a smooth transition for beginners. | Rudolf Berghammer, Frank Huch |
| 2005 | A logical analysis of aliasing in imperative higher-order functions. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2005 | Laziness without all the hard work: combining lazy and strict languages for teaching. | Eli Barzilay, John Clements |
| 2005 | A step-indexed model of substructural state. | Amal J. Ahmed, Matthew Fluet, Greg Morrisett |
| 2004 | Verification of safety properties for concurrent assembly code. | Dachuan Yu, Zhong Shao |
| 2004 | 20 years of industrial functional programming. | Ulf T. Wiger |
| 2004 | Relating models of backtracking. | Mitchell Wand, Dale Vaillancourt |
| 2004 | Translating dependency into parametricity. | Stephen Tse, Steve Zdancewic |
| 2004 | Implementing functional logic languages using multiple threads and stores. | Andrew P. Tolmach, Sergio Antoy, Marius Nita |
| 2004 | Multi-return function call. | Olin Shivers, David Fisher |
| 2004 | A nanopass infrastructure for compiler education. | Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig |
| 2004 | The C - compiler infrastructure. | Norman Ramsey, Simon L. Peyton Jones |
| 2004 | Types, potency, and idempotency: why nonlinearity and amnesia make a type system work. | Peter Mller Neergaard, Harry G. Mairson |
| 2004 | Making a fast curry: push/enter vs. eval/apply for higher-order languages. | Simon Marlow, Simon L. Peyton Jones |
| 2004 | Galois: high assurance software. | John Launchbury |
| 2004 | Scrap more boilerplate: reflection, zips, and generalised casts. | Ralf Lmmel, Simon L. Peyton Jones |
| 2004 | From process logic to program logic. | Kohei Honda |
| 2004 | Generics for the masses. | Ralf Hinze |
| 2004 | Improving the static analysis of embedded languages via partial evaluation. | David Herman, Philippe Meunier |
| 2004 | Don't make the wrong mistakes: programming as debugging. | Paul Graham |
| 2004 | Numbering matters: first-order canonical forms for second-order recursive types. | Nadji Gauthier, Franois Pottier |
| 2004 | Functional morphology. | Markus Forsberg, Aarne Ranta |
| 2004 | Monadic regions. | Matthew Fluet, J. Gregory Morrisett |