• Sign in
  • Sign up
conf.researchr.org / Yutaka Nagashima
  • 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
xWed 8 Feb 07:21
using conf.researchr.org (v1.58.0)
Support page
Sign Up