| 2008 | A scheduling framework for general-purpose parallel languages. Matthew Fluet, Mike Rainey, John H. Reppy |
| 2008 | A type-preserving compiler in Haskell. Louis-Julien Guillemette, Stefan Monnier |
| 2008 | AURA: a programming language for authorization and audit. Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic |
| 2008 | Compiling self-adjusting programs with continuations. Ruy Ley-Wild, Matthew Fluet, Umut A. Acar |
| 2008 | Data-flow testing of declarative programs. Sebastian Fischer, Herbert Kuchen |
| 2008 | Deciding David Van Horn, Harry G. Mairson |
| 2008 | Defunctionalized interpreters for programming languages. Olivier Danvy |
| 2008 | Efficient nondestructive equality checking for trees and graphs. Michael D. Adams, R. Kent Dybvig |
| 2008 | Experience report: a pure shirt fits. Ravi Nanavati |
| 2008 | Experience report: erlang in acoustic ray tracing. Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell, Lutz Hamel |
| 2008 | Experience report: playing the DSL card. Mark P. Jones |
| 2008 | Experience report: visualizing data through functional pipelines. David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace |
| 2008 | FLUX: functional updates for XML. James Cheney |
| 2008 | FPH: first-class polymorphism for Haskell. Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
| 2008 | Flask: staged functional programming for sensor networks. Geoffrey Mainland, Greg Morrisett, Matt Welsh |
| 2008 | From ML to ML Didier Rémy, Boris Yakobowski |
| 2008 | Functional netlists. Sungwoo Park, Jinha Kim, Hyeonseung Im |
| 2008 | Functional pearl: streams and unique fixed points. Ralf Hinze |
| 2008 | Functional translation of a calculus of capabilities. Arthur Charguéraud, François Pottier |
| 2008 | Generic discrimination: sorting and paritioning unshared data in linear time. Fritz Henglein |
| 2008 | HMF: simple type inference for first-class polymorphism. Daan Leijen |
| 2008 | Implicitly-threaded parallelism in Manticore. Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw |
| 2008 | Lazy and speculative execution in computer systems. Butler W. Lampson |
| 2008 | Mixin' up the ML module system. Derek Dreyer, Andreas Rossberg |
| 2008 | NixOS: a purely functional Linux distribution. Eelco Dolstra, Andres Löh |
| 2008 | Paradise: a two-stage DSL embedded in Haskell. Lennart Augustsson, Howard Mansell, Ganesh Sittampalam |
| 2008 | Parametric higher-order abstract syntax for mechanized semantics. Adam Chlipala |
| 2008 | Pattern minimization problems over recursive data types. Alexander Krauss |
| 2008 | Polymorphism and page tables: systems programming from a functional programmer's perspective. Mark P. Jones |
| 2008 | Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008 James Hook, Peter Thiemann |
| 2008 | Quotient lenses. J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce |
| 2008 | Report on the tenth ICFP programming contest. Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie |
| 2008 | Space profiling for parallel functional programs. Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons |
| 2008 | The power of Pi. Nicolas Oury, Wouter Swierstra |
| 2008 | Transactional events for ML. Laura Effinger-Dean, Matthew Kehrt, Dan Grossman |
| 2008 | Type checking with open type functions. Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
| 2008 | Typed closure conversion preserves observational equivalence. Amal Ahmed, Matthias Blume |
| 2008 | Typed iterators for XML. Giuseppe Castagna, Kim Nguyen |
| 2008 | Write it recursively: a generic framework for optimal path queries. Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi |
| 2008 | Ynot: dependent types for imperative programs. Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal |