"A type-preserving closure conversion in haskell."

Louis-Julien Guillemette, Stefan Monnier (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics