OCaml
esope
Researcher at Inria