Haskell 2006

14 papers

1. A generic recursion toolbox for Haskell or: scrap your boilerplate systematically · Deling Ren, Martin Erwig
2. An extensible dynamically-typed hierarchy of exceptions · Simon Marlow
3. Extended static checking for haskell · Dana N. Xu
4. GenI: natural language generation in Haskell · Eric Kow
5. Haskell' status report · Isaac Jones
6. Interactive debugging with GHCi · David Himmelstrup
7. Introducing the Haskell equational reasoning assistant · Andy Gill
8. Polymorphic variants in Haskell · Koji Kagawa
9. RepLib: a library for derivable type classes · Stephanie Weirich
10. Running the manual: an approach to high-assurance microkernel development · Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty
11. Statically typed linear algebra in Haskell · Frederik Eaton
12. Strong types for relational databases · Alexandra Silva, Joost Visser
13. Strongly typed memory areas programming systems-level data structures in a functional language · Iavor S. Diatchki, Mark P. Jones
14. User-level transactional programming in Haskell · Peter Thiemann