Jean-Marc Alliot, Jean-Baptiste Gotteland, Charlie Vanaret, Nicolas Durand, David Gianazza. Implementing an interval computation library for OCaml on x86/amd64 architectures.
OUD 2012, OCaml Users and Developers workshop, Sep 2012, Copenhagen, Denmark.
⟨hal-00934812⟩