Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yutaka Nagashima
conf.researchr.org general profile
APLAS 2019 profile
ICFP 2016 profile
ICFP 2019 profile
Not registered as user yet
Name:
Yutaka Nagashima
Affiliation:
Data61, Australia
Contributions
APLAS 2019
Author of LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL within the Research Papers-track
ML 2019
Author of Towards Machine Learning Induction in Poly/ML within the ML 2019-track
ICFP 2016
Author of Refinement through Restraint: Bringing Down the Cost of Verification 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
Share
x
Wed 8 Feb 07:21