Implementing an interval computation library for OCaml

Implementing an interval computation library for OCaml, by Jean-Marc Alliot, Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand and David Gianazza. In this paper we present two implementation of interval arithmetics for Ocaml on x86/amd64 architectures. The first one is simply a binding to the classical MPFI/MPFR library. It provides access to multi-precision floating point arithmetic and multi-precision floating point interval arithmetic. The second implementation has been natively written in assembly language for low-level functions and in ocaml for higher-level functions ans is as fast as classical C or C++ implementations of interval arithmetic.