Typed closure conversion (1996)

by Y Minamide, G Morrisett, R Harper
Venue:In Proc. 23rd Annual ACM Symp. on Principles of Programming Languages