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.

All stories by Xavier

Load more articles