Haskell 2006: Portland, Oregon, USA

Andres Löh (Ed.): Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006. ACM 2006, ISBN 1-59593-489-8 BibTeX

Session 1

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

Session 2

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

Session 3

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

Session 4

Eric Kow:
GenI: natural language generation in Haskell. 110-119
Electronic Edition (ACM DL) BibTeX
Frederik Eaton:
Statically typed linear algebra in Haskell. 120-121
Electronic Edition (ACM DL) BibTeX
Isaac Jones:
Haskell' status report. 122
Electronic Edition (ACM DL) BibTeX