Yutaka Nagashima -

Sun 18 - Sat 24 September 2016 Nara, Japan

co-located with ICFP 2016

Not registered as user

Name:Yutaka Nagashima

Affiliation:Data61, Australia

Contributions

2016

ICFP

Refinement through Restraint: Bringing Down the Cost of Verification

ML

Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML

Show activities from other conferences

ICFP 2016-profile
View general profile