ACM SIGPLAN 2006 Haskell Workshop
Accepted Papers
-
Eric Kow
GenI: Natural language generation in Haskell
-
Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
Reconciling High Performance and High Assurance in Microkernel Development
-
Dana N. Xu
Extended Static Checking for Haskell
-
Simon Marlow
An extensible dynamically-typed hierarchy of exceptions
-
Peter Thiemann
User-Level Transactional Programming in Haskell
-
Deling Ren and Martin Erwig
A Generic Recursion Toolbox for Haskell (Or: Scrap Your Boilerplate Systematically)
-
Iavor S. Diatchki and Mark P. Jones
Strongly Typed Memory Areas (Programming Systems-Level Data Structures in a Functional Language)
-
Stephanie Weirich
RepLib: A library for derivable type classes
-
Alexandra Silva and Joost Visser
Functional Pearl: Strong Types for Relational Databases
-
Koji Kagawa
Polymorphic Variants in Haskell
Last update: 2006-07-25.