| 2009 | A compositional theory for STM Haskell. Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon |
| 2009 | Alloy: fast generic transformations for Haskell. Neil C. C. Brown, Adam T. Sampson |
| 2009 | Finding the needle: stack traces for GHC. Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach |
| 2009 | Haskell Symposium Program Chair's Report. Stephanie Weirich |
| 2009 | Lazy functional incremental parsing. Jean-Philippe Bernardy |
| 2009 | Losing functions without gaining data: another look at defunctionalisation. Neil Mitchell, Colin Runciman |
| 2009 | Parallel performance tuning for Haskell. Don Jones Jr., Simon Marlow, Satnam Singh |
| 2009 | Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009 Stephanie Weirich |
| 2009 | Push-pull functional reactive programming. Conal M. Elliott |
| 2009 | Roll your own test bed for embedded real-time protocols: a haskell experience. Lee Pike, Geoffrey M. Brown, Alwyn Goodloe |
| 2009 | The architecture of the Utrecht Haskell compiler. Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra |
| 2009 | Tool DemonstrationCLasHFrom Haskell to Hardware. Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp |
| 2009 | Type-safe observable sharing in Haskell. Andy Gill |
| 2009 | Types are calling conventions. Maximilian C. Bolingbroke, Simon L. Peyton Jones |
| 2009 | Unembedding domain-specific languages. Robert Atkey, Sam Lindley, Jeremy Yallop |