All Articles By

Xavier Leroy

Xavier Leroy is a senior research scientist at Inria in Paris. He works on programming languages, compilers, and formal methods. He is one of the designers and implementors of the OCaml functional programming language.