Typed closure conversion (1996)

by Yasuhiko Minamide, Greg Morrisett, Robert Harper
Venue:In Proceedings of the 23th Symposium on Principles of Programming Languages (POPL