Les Newsletters Interstices
Profil

Xavier Leroy

Directeur de recherche Inria, responsable de l’équipe GALLIUM. Il est l’un des principaux auteurs du langage Caml.

Ses articles ( 1 article publié )

ArticleLangages, programmation & logiciel

Comment faire confiance à un compilateur ?

Xavier Leroy

Niveau intermédiaire
Niveau 2 : Intermédiaire
Voir tous les auteurs