Xavier Leroy - CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual École Normale Supérieure alumnus 1968 birth Computer programmer Fellow of the Association for Computing Machinery Living person French computer scientist Programming language designer Programming language researcher
rdfs:label	Xavier Leroy
owl:sameAs	dbr:Xavier_Leroy
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Laboratorium_(art_exhibition) http://en.wikipedia.org/wiki/Adriaan_van_Wijngaarden http://en.wikipedia.org/wiki/Category:1968_births http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Leroy_(name) http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Benevolent_dictator_for_life http://en.wikipedia.org/wiki/Category:%C3%89cole_Normale_Sup%C3%A9rieure_alumni http://en.wikipedia.org/wiki/Category:Computer_programmers http://en.wikipedia.org/wiki/Category:Computer_programmers_by_nationality http://en.wikipedia.org/wiki/Category:Programming_language_designers http://en.wikipedia.org/wiki/Category:Programming_language_researchers http://en.wikipedia.org/wiki/List_of_programming_language_researchers http://en.wikipedia.org/wiki/Category:French_computer_scientists
skos:prefLabel	Xavier Leroy
skos:altLabel	Xavier Le Roy
clgo:academicDiscipline	Computer science
clgo:almaMater	Paris Diderot University École normale supérieure (Paris)
clgo:birthDate	1968-03-15
clgo:birthYear	1968
clgo:doctoralAdvisor	Gérard Huet
is clgo:author of	CompCert
is clgo:designer of	Caml OCaml
is clgo:doctoralStudent of	Gérard Huet

About: clgr:Xavier_Leroy