T. Bourke and M. Pouzet, 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

J. Garrigue, Programming with polymorphic variants, ML Workshop, 1998.

A. C. Hindmarsh, P. N. Brown, K. E. Grant, S. L. Lee, R. Serban et al., SUNDIALS, ACM Transactions on Mathematical Software, vol.31, issue.3, pp.31363-396, 2005.
DOI : 10.1145/1089014.1089020

X. Leroy, Writing efficient numerical code in Objective Caml, 2002.

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy et al., The OCaml system: Documentation and user's manual. Inria, 4.03 edition, 2016.