Not registered as user yet

Name: Gerwin Klein

Affiliation: UNSW, 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