Typed closure conversion (1996)

by Y Minamide, G Morrisett, R Harper
Venue:In Twenty-Third ACM Symposium on Principles of Programming Languages