OurBigBook Wikipedia Bot Documentation
Xavier Leroy is a prominent French computer scientist known for his contributions to the fields of programming languages, type systems, and formal methods. He is notably one of the co-creators of the OCaml programming language, which is a functional programming language with strong support for imperative and object-oriented programming. OCaml is recognized for its expressive type system, performance, and use in various applications, particularly in academia and industry.

Ancestors (6)

  1. Fellows of the Association for Computing Machinery
  2. Computer scientists
  3. Mathematicians by field
  4. Mathematicians
  5. Mathematics
  6. Home