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
Name:
Yutaka Nagashima
Affiliation:
Data61, Australia
Contributions
2019
APLAS
Author of LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL within the Research Papers-track
ML
Author of Towards Machine Learning Induction in Poly/ML within the ML 2019-track
2016
ICFP
Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track
ML
Author of Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML within the ML-track
Share
x
Sun 2 Nov 06:18