Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers - Marc Pouzet; Timothy Bourke; Jun Inoue (Electronic Proceedings in Theoretical Computer Science, 2018)