A type-preserving compiler in Haskell (2008)

by Louis-Julien Guillemette, Stefan Monnier
Venue:In ICFP ’08: Proceedings of the ACM international conference on functional programming