Haskell 2006: Portland, Oregon, USA

Session 1

• Stephanie Weirich:
  RepLib: a library for derivable type classes. 1-12
  
• Deling Ren, Martin Erwig:
  A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. 13-24
  
• Alexandra Silva, Joost Visser:
  Strong types for relational databases. 25-36
  

Session 2

• Koji Kagawa:
  Polymorphic variants in Haskell. 37-47
  
• Dana N. Xu:
  Extended static checking for haskell. 48-59
  
• Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty:
  Running the manual: an approach to high-assurance microkernel development. 60-71
  
• Iavor S. Diatchki, Mark P. Jones:
  Strongly typed memory areas programming systems-level data structures in a functional language. 72-83
  

Session 3

• Peter Thiemann:
  User-level transactional programming in Haskell. 84-95
  
• Simon Marlow:
  An extensible dynamically-typed hierarchy of exceptions. 96-106
  
• David Himmelstrup:
  Interactive debugging with GHCi. 107
  
• Andy Gill:
  Introducing the Haskell equational reasoning assistant. 108-109
  

Session 4

• Eric Kow:
  GenI: natural language generation in Haskell. 110-119
  
• Frederik Eaton:
  Statically typed linear algebra in Haskell. 120-121
  
• Isaac Jones:
  Haskell' status report. 122