Xavier Leroy

No bio available. Add one in Open Library.

Books by Xavier Leroy (50 max)

+ shelf+ list

Program Logics for Certified Compilers

2014

Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy

+ shelf+ list

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

2004

Xavier Leroy

+ shelf+ list

Vie quotidienne des marins nantais au XIXe

2015

Xavier Leroy

+ shelf+ list

Proceedings of the 2015 Conference on Certified Programs and Proofs

2015

Xavier Leroy

+ shelf+ list

Inventaire Photographique et Genealogique de Trentemoult et Vertou

2017

Xavier Leroy