Aveyron Rouergue terre d'attache
Xavier Roy
Auteur
Xavier Leroy (né le 15 mars 1968) est un informaticien français, professeur au Collège de France et précédemment directeur de recherche à l'INRIA. Il est connu pour être le principal concepteur et développeur du langage Objective Caml ainsi que pour ses travaux sur le compilateur formellement vérifié CompCert.
...plusCompte non officiel
Livres
2
- 1