| 2008 | Scala for generic programmers. | Bruno C. d. S. Oliveira, Jeremy Gibbons |
| 2008 | A lightweight approach to datatype-generic rewriting. | Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren |
| 2008 | Bialgebra views: a way for polytypic programming to cohabit with data abstraction. | Pablo Nogueira, Juan Jos Moreno-Navarro |
| 2008 | Declarative language extensions for prolog courses. | Ulrich Neumerkel, Markus Triska, Jan Wielemaker |
| 2008 | Ynot: dependent types for imperative programs. | Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal |
| 2008 | Experience report: a pure shirt fits. | Ravi Nanavati |
| 2008 | Write it recursively: a generic framework for optimal path queries. | Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi |
| 2008 | Flask: staged functional programming for sensor networks. | Geoffrey Mainland, Greg Morrisett, Matt Welsh |
| 2008 | Compiling self-adjusting programs with continuations. | Ruy Ley-Wild, Matthew Fluet, Umut A. Acar |
| 2008 | HMF: simple type inference for first-class polymorphism. | Daan Leijen |
| 2008 | Lazy and speculative execution in computer systems. | Butler W. Lampson |
| 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 | Experience report: playing the DSL card. | Mark P. Jones |
| 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 | Deciding | David Van Horn, Harry G. Mairson |
| 2008 | Functional pearl: streams and unique fixed points. | Ralf Hinze |
| 2008 | Generic discrimination: sorting and paritioning unshared data in linear time. | Fritz Henglein |
| 2008 | A type-preserving compiler in Haskell. | Louis-Julien Guillemette, Stefan Monnier |
| 2008 | Quotient lenses. | J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce |
| 2008 | Implicitly-threaded parallelism in Manticore. | Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw |
| 2008 | A scheduling framework for general-purpose parallel languages. | Matthew Fluet, Mike Rainey, John H. Reppy |
| 2008 | Data-flow testing of declarative programs. | Sebastian Fischer, Herbert Kuchen |
| 2008 | Transactional events for ML. | Laura Effinger-Dean, Matthew Kehrt, Dan Grossman |
| 2008 | Experience report: visualizing data through functional pipelines. | David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace |