Typed Closure Conversion.

Yasuhiko Minamide J. Gregory Morrisett Robert Harper

Published in: POPL (1996)

Keyphrases

higher order
lambda calculus
fixed order
image sequences
high quality
data structure
cooperative
special case
data conversion