Nicolas Tabareau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Divide and Check: Logical Relations, No Algorithms Attached. | Josselin Poiret, Kenji Maillard, Nicolas Tabareau |
| 2026 | LICS | Definitional Proof Irrelevance Made Accessible. | Thiago Felicissimo, Yann Leray, Loc Pujet, Nicolas Tabareau, ric Tanter, Tho Winterhalter |
| 2024 | ESOP | Observational Equality Meets CIC. | Loc Pujet, Nicolas Tabareau |
| 2024 | ITP | The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant. | Yann Leray, Gatan Gilbert, Nicolas Tabareau, Tho Winterhalter |
| 2019 | CPP | Eliminating reflection from type theory. | Tho Winterhalter, Matthieu Sozeau, Nicolas Tabareau |
| 2019 | MPC | Setoid Type Theory - A Syntactic Translation. | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau |
| 2018 | ESOP | Failure is Not an Option - An Exceptional Type Theory. | Pierre-Marie Pdrot, 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 |
| 2017 | LICS | An effectful way to eliminate addiction to dependence. | Pierre-Marie Pdrot, Nicolas Tabareau |
| 2016 | ICFP | Partial type equivalences for verified dependent interoperability. | Pierre-variste Dagand, Nicolas Tabareau, ric Tanter |
| 2016 | LICS | The Definitional Side of the Forcing. | Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pdrot, Matthieu Sozeau, Nicolas Tabareau |
| 2015 | APLAS | Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. | Guilhem Jaber, Nicolas Tabareau |
| 2015 | DLS | Gradual certified programming in Coq. | ric Tanter, Nicolas Tabareau |
| 2014 | ITP | Universe Polymorphism in Coq. | Matthieu Sozeau, Nicolas Tabareau |
| 2014 | PPDP | Lazier Imperative Programming. | Rmi Douence, Nicolas Tabareau |
| 2012 | LICS | Extending Type Theory with Forcing. | Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau |
| 2009 | ICALP | An Explicit Formula for the Free Exponential Modality of Linear Logic. | Paul-Andr Mellis, Nicolas Tabareau, Christine Tasson |
| 2007 | LICS | Resource modalities in game semantics. | Paul-Andr Mellis, Nicolas Tabareau |