Typed Closure Conversion. In: (1996)

by Y Minamide, J G Morrisett, R Harper
Venue:23rd Symp. on Principles of Programming Languages (POPL’96).