Simon Boulier

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 7

Top Topics

Mathematical Models

Fully Functional

Top Venues

Proc. ACM Program. Lang.

Math. Struct. Comput. Sci.

Publications

Simon Boulier, Nicolas Tabareau
Model structure on the universe of all types in interval type theory. Math. Struct. Comput. Sci. 31 (4) (2021)
Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini
Constructing a universe for the setoid model. FoSSaCS (2021)
Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter
The MetaCoq Project. J. Autom. Reason. 64 (5) (2020)
Matthieu Sozeau, Simon Boulier, Yannick Forster, Nicolas Tabareau, Théo Winterhalter
Coq Coq correct! verification of type checking and erasure for Coq, in Coq. Proc. ACM Program. Lang. 4 (POPL) (2020)
Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau
Setoid Type Theory - A Syntactic Translation. MPC (2019)
Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau
Towards Certified Meta-Programming with Typed Template-Coq. ITP (2018)
Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau
The next 700 syntactical models of type theory. CPP (2017)