Yutaka Nagashima -

Not registered as user yet

Name:Yutaka Nagashima

Affiliation:Data61, Australia

Contributions

ML 2019	Author of Towards Machine Learning Induction in Poly/ML within the ML 2019-track
APLAS 2019	Author of LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL within the Research Papers-track
ML 2016	Author of Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML within the ML-track
ICFP 2016	Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track