Xavier Leroy - Home pageHello and welcome to my corner of the Web. I'm a senior computer scientist interested in all scientific aspects of computer programming. I'm a professor at Collège de France, where I hold the chair of software sciences, and a member of Académie des sciences. I'm also a member of the Cambium research team of Inria. News [04/2023] Lecture material: slides in English are now available for my Collège
Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller LIFO, Universit´e d’Orl´eans David.Teller@univ-orleans.fr Arnaud Spiwack LIX, ´Ecole Polytechnique Arnaud.Spiwack@lix
