Not registered as user yet

Name: Japheth Lim

Affiliation: Data61, Australia

ICFP 2016 Activities

• Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
• Show activities from other conferences