Solving the expression problem with true separate compilation

Sean Seefried and Manuel M.T. Chakravarty.

*new* 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.