Sciweavers

POPL
2016
ACM

Fully-abstract compilation by approximate back-translation

7 years 11 months ago
Fully-abstract compilation by approximate back-translation
Dominique Devriese, Marco Patrignani, Frank Piesse
Added 09 Apr 2016
Updated 09 Apr 2016
Type Journal
Year 2016
Where POPL
Authors Dominique Devriese, Marco Patrignani, Frank Piessens
Comments (0)