Not registered as user yet

Name: Yutaka Nagashima

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
• Author of Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML within the ML-track in ML 2016
• Show activities from other conferences