Typed closure conversion preserves observational equivalence (2008)

by Amal Ahmed , Matthias Blume
Citations:17 - 4 self