Minamide, Yasuhiko; Morrisett, Greg and Robert Harper "Typed Closure Conversion"

[POPL 1966] (1996) [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996  

Languages mentioned TIL {1995} TILT {1997}