Submitted, 2007. (Also available as UNSW-CSE-TR-0715, 2007.)
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.