Submitted, 2007. (Also available as UNSW-CSE-TR-0715, 2007.)
Abstract
We present a novel solution to the expression problem which offers
true separate compilation and can be used in existing Haskell
compilers that support multi-parameter type classes and recursive
dictionaries. The solution is best viewed as both a programming
idiom, allowing a programmer to implement open data types and open
functions, and the target encoding of a translation from Haskell
augmented with syntactic sugar.
This page is part of Manuel Chakravarty's WWW-stuff.