Typed closure conversion preserves observational equivalence.

Amal Ahmed, Matthias Blume

Browse the full ICFP paper archive.