Fully abstract compilation via universal embedding.

Max S. New, William J. Bowman, Amal Ahmed

Browse the full ICFP paper archive.