| 2008 | A library for light-weight information-flow security in haskell. Alejandro Russo, Koen Claessen, John Hughes |
| 2008 | Clase: cursor library for a structured editor. Tristan Oliver Richard Allwood, Susan Eisenbach |
| 2008 | Comparing libraries for generic programming in haskell. Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira |
| 2008 | Haskell session types with (almost) no class. Riccardo Pucella, Jesse A. Tov |
| 2008 | Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink |
| 2008 | Haskell: batteries included. Duncan Coutts, Isaac Potoczny-Jones, Don Stewart |
| 2008 | Language and program design for functional dependencies. Mark P. Jones, Iavor S. Diatchki |
| 2008 | Lightweight monadic regions. Oleg Kiselyov, Chung-chieh Shan |
| 2008 | Making monads first-class with template haskell. Pericles S. Kariotis, Adam M. Procter, William L. Harrison |
| 2008 | Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. Neil Mitchell, Colin Runciman |
| 2008 | Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008 Andy Gill |
| 2008 | Shared subtypes: subtyping recursive parametrized algebraic data types. Ki Yung Ahn, Tim Sheard |
| 2008 | Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. Colin Runciman, Matthew Naylor, Fredrik Lindblad |
| 2008 | Yi: an editor in haskell for haskell. Jean-Philippe Bernardy |