Typed closure conversion preserves observational equivalence (2008)

by A Ahmed, M Blume
Venue:in: Proc. 13th ICFP