Typed Closure Conversion (1996)

by Yasuhiko Minamide, Greg Morrisett, Robert Harper
Venue:In Twenty-Third ACM Symposium on Principles of Programming Languages