Not registered as user yet

Name: Anthony Fox

Affiliation: University of Cambridge, UK

POPL 2017 Activities

• Author of Verified compilation of CakeML to multiple machine-code targets within the CPP-track in CPP 2017
• Show activities from other conferences