François Garillot

According to our database1, François Garillot authored at least 6 papers between 2006 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
A Machine-Checked Proof of the Odd Order Theorem.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011
Generic Proof Tools and Finite Group Theory. (Outils génériques de preuve et théorie des groupes finis).
PhD thesis, 2011

2009
Packaging Mathematical Structures.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2007
Simple Types in Type Theory: Deep and Shallow Encodings.
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2006
Statically Typed Document Transformation: An Xtatic Experience.
Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

A Core Calculus for Scala Type Checking.
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006


  Loading...