A type-preserving compiler in Haskell.

Louis-Julien Guillemette Stefan Monnier A type-preserving compiler in Haskell. 75-86 2008 ICFP http://doi.acm.org/10.1145/1411204.1411218 conf/icfp/2008 db/conf/icfp/icfp2008.html#GuillemetteM08