François Garillot
Author
Alternate name François Garillot
Institutions Menlo School, Meta (United States)
Past institutions Menlo School, Meta (United States), Institut national de recherche en informatique et en automatique, Microsoft (France), Microsoft (United States) +2 more
ORCID: Yes
H-index: 9
I10-index: 9
Works count: 14
Citations count: 573
A Machine-Checked Proof of the Odd Order Theorem
2013 · Georges Gonthier, Andrea Asperti, et al. · Lecture notes in computer science
Packaging Mathematical Structures
2009 · François Garillot, Georges Gonthier, et al. · Lecture notes in computer science
A Core Calculus for Scala Type Checking
2006 · Vincent Cremet, François Garillot, et al. · Lecture notes in computer science