Xavier Leroy

Identifiers

Open LibraryOL3094920A

Top Subjects

Reference (1)
Logic programming (1)
Compilers (computer programs) (1)

Books by Xavier Leroy

Total count: 5

Manuel de référence du langage Caml

Dunod1999-03-30
Conference Record of Popl 2004 : The 31st Acm Sigplan-Sigact Symposium on Principles of Programming LanguagesPapers Presented at the Symposium, Venice, Italy January 14-16, 2003

Assn for Computing Machinery2004-04-01
Program Logics for Certified Compilers

Cambridge University Press2014-01-01
Proceedings of the 2015 Conference on Certified Programs and Proofs

Association for Computing Machinery2015-01-01
Inventaire Photographique et Genealogique de Trentemoult et Vertou

Books on Demand GmbH2017-01-01