Simon Boulier

According to our database, Simon Boulier authored at least 8 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Model structure on the universe of all types in interval type theory.

Simon Boulier, Nicolas Tabareau

Math. Struct. Comput. Sci., 2021

Constructing a universe for the setoid model.

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Coq Coq correct! verification of type checking and erasure for Coq, in Coq.

Matthieu Sozeau, Simon Boulier, Yannick Forster, Nicolas Tabareau, Théo Winterhalter

Proc. ACM Program. Lang., 2020

The MetaCoq Project.

Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter

J. Autom. Reason., 2020

2019

Setoid Type Theory - A Syntactic Translation.

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

Extending type theory with syntactic models. (Etendre la théorie des types à l'aide de modèles syntaxiques).

Simon Pierre Boulier

PhD thesis, 2018

Towards Certified Meta-Programming with Typed Template-Coq.

Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

The next 700 syntactical models of type theory.

Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017