https://www.college-de-france.fr/fr/chaire/xavier-leroy-sciences-du-logiciel-chaire-statutaire
Xavier Leroy - Sciences du logiciel | Collège de France
xavier leroysciences dude
https://xavierleroy.org/
Xavier Leroy - Home page
Home page of Xavier Leroy, a computer scientist. Information on Xavier Leroy's research projects, courses, publications, and open-source software.
xavier leroy