Registered user since Wed 17 Aug 2016

Name: Jun Inoue

Affiliation: National Institute of Advanced Industrial Science and Technology, Japan

Contributions

OCaml 2016Author of Sundials/ML: interfacing with numerical solvers within the OCaml-track
PEPM 2016Author of Staging beyond Terms: Prospects and Challenges within the PEPM-track