Z??lus, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.113-118, 2013. ,
DOI : 10.1145/2461328.2461348
Programming with polymorphic variants, ML Workshop, 1998. ,
SUNDIALS, ACM Transactions on Mathematical Software, vol.31, issue.3, pp.31363-396, 2005. ,
DOI : 10.1145/1089014.1089020
Writing efficient numerical code in Objective Caml, 2002. ,
The OCaml system: Documentation and user's manual. Inria, 4.03 edition, 2016. ,