conf.researchr.org / Yutaka Nagashima

Not registered as user yet

Name: Yutaka Nagashima

Affiliation: Data61, Australia

Contributions

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