V Allombert,
M Bourgoin… - … Conference on High …, 2018 - ieeexplore.ieee.org
OCaml is a multi-paradigm (functional, imperative, object-oriented) high level sequential
language. Types are stati¬ cally inferred by the compiler and the type system is expressive …