• Xavier Leroy - Home Page

    xavierleroy.org
    Information on Xavier Leroy's research projects, courses, publications, and open-source software.

  • Xavier Leroy - Wikipedia

    en.wikipedia.orgXavier Leroy
    Xavier Leroy (born 15 March 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system.

  • Xavier Leroy - Ocaml Wiki

    ocamlwiki.comwiki/Xavier_Leroy
    Xavier Leroy is a prominent figure in the world of computer science, known for his significant contributions to the programming language OCaml.

  • Xavier Leroy - YouTube

    youtube.comuser/APFELSTRUDELL/videos…

  • Xavier Leroy‬ - ‪Google Akademik

    scholar.google.skcitations…
    S Blazy, Z Dargaye, X Leroy. FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006.

  • xavierleroy — GitHub

    github.comxavierleroy

  • Xavier Leroy | Inria

    inria.fren/xavier-leroy
    The ACM would like to pay tribute to the work carried out by Xavier Leroy on programming languages and compilers, focusing on their reliability and security.

  • Xavier Leroy | World Economic Forum

    weforum.orgpeople/xavier-leroy/
    Xavier Leroy.

  • Xavier Leroy (@Leroyxavier64) • Instagram Photos and Videos

    instagram.comleroyxavier64/
    0 Followers, 676 Following, 662 Posts - See Instagram photos and videos from Xavier Leroy (@leroyxavier64).

  • Xavier Leroy (@XavierLeroy7) / Twitter

    twitter.comXavierLeroy7
    1,992. Xavier Leroy Retweeted.