Typed Closure Conversion.

Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper

Browse the full POPL paper archive.