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.
All Articles By
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.