Louis-Julien Guillemette, Stefan Monnier. A type-preserving closure conversion in haskell. In Gabriele Keller, editor, Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007. pages 83-92, ACM, 2007. [doi]
Abstract is missing.