Typed closure conversion preserves observational equivalence (2008)

by Amal Ahmed , Matthias Blume
Citations:22 - 6 self