| 2006 | A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. Deling Ren, Martin Erwig |
| 2006 | An extensible dynamically-typed hierarchy of exceptions. Simon Marlow |
| 2006 | Extended static checking for haskell. Dana N. Xu |
| 2006 | GenI: natural language generation in Haskell. Eric Kow |
| 2006 | Haskell' status report. Isaac Jones |
| 2006 | Interactive debugging with GHCi. David Himmelstrup |
| 2006 | Introducing the Haskell equational reasoning assistant. Andy Gill |
| 2006 | Polymorphic variants in Haskell. Koji Kagawa |
| 2006 | Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006 Andres Löh |
| 2006 | RepLib: a library for derivable type classes. Stephanie Weirich |
| 2006 | Running the manual: an approach to high-assurance microkernel development. Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty |
| 2006 | Statically typed linear algebra in Haskell. Frederik Eaton |
| 2006 | Strong types for relational databases. Alexandra Silva, Joost Visser |
| 2006 | Strongly typed memory areas programming systems-level data structures in a functional language. Iavor S. Diatchki, Mark P. Jones |
| 2006 | User-level transactional programming in Haskell. Peter Thiemann |