Simon Boulier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2017–2021
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FOSSACS | Constructing a universe for the setoid model. | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini |
| 2019 | MPC | Setoid Type Theory - A Syntactic Translation. | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau |
| 2018 | ITP | Towards Certified Meta-Programming with Typed Template-Coq. | Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau |
| 2017 | CPP | The next 700 syntactical models of type theory. | Simon Boulier, Pierre-Marie Pdrot, Nicolas Tabareau |