Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jun Inoue
conf.researchr.org general profile
ICFP 2016 profile
POPL 2016 profile
Registered user since Wed 17 Aug 2016
Name:
Jun Inoue
Affiliation:
National Institute of Advanced Industrial Science and Technology, Japan
Contributions
2016
OCaml
Author of Sundials/ML: interfacing with numerical solvers within the OCaml-track
PEPM
Author of Staging beyond Terms: Prospects and Challenges within the PEPM-track
Share
x
Sun 24 Sep 22:40