Not registered as user yet

Name: Yong Kiam Tan

Affiliation: IHPC at A*STAR, Singapore

ICFP 2016 Activities

• Author of A New Verified Compiler Backend for CakeML within the Research Papers-track in ICFP 2016
• Show activities from other conferences