# François Garillot

According to our database

Collaborative distances:

^{1}, François Garillot authored at least 6 papers between 2006 and 2013.Collaborative distances:

## 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