Typed closure conversion. Pages 271--283 of: Twenty-third ACM SIGACT-SIGPLAN symposium on principles of programming languages (1996)

by Yasuhiko Minamide, Greg Morrisett