DMCA

Typed closure conversion preserves observational equivalence (2008)

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