Registered user since Mon 3 Oct 2016

Name: Scott Owens

Affiliation: University of Kent, UK

Personal website: http://www.cl.cam.ac.uk/~so294/

ICFP 2016 Activities

• Session Chair of Session 8 (part of ICFP 2016 Research Papers)
• Committee Member in Program Committee for ICFP 2016 Research Papers
• Author of A New Verified Compiler Backend for CakeML within the Research Papers-track in ICFP 2016
• Show activities from other conferences