Fully-abstract compilation by approximate back-translation.

Dominique Devriese, Marco Patrignani, Frank Piessens

Browse the full POPL paper archive.