Pierre-Marie Pédrot

24 papers A* 5A 2B 4Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
In Cantor Space No One Can Hear You Stream.
ESOP (1)
Martin Baillon, Assia Mahboubi, Pierre-Marie Pédrot
2025 J jnl
'Upon This Quote I Will Build My Church Thesis'.
Commun. ACM
Pierre-Marie Pédrot
2025 B conf
A Zoo of Continuity Properties in Constructive Type Theory.
FSCD
Martin Baillon, Yannick Forster, Assia Mahboubi, Pierre-Marie Pédrot, Matthieu Piquerez
2025 J jnl
All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants.
Proc. ACM Program. Lang.
Josselin Poiret, Gaëtan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter
2024 A* conf
"Upon This Quote I Will Build My Church Thesis".
LICS
Pierre-Marie Pédrot
2024 B conf
Martin-Löf à la Coq.
CPP
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet
2024 A* conf
δ is for Dialectica.
LICS
Marie Morgane Kerjean, Pierre-Marie Pédrot
2023 — ed.
28th International Conference on Types for Proofs and Programs, TYPES 2022, LS2N, University of Nantes, France, June 20-25, 2022
TYPES
Delia Kesner, Pierre-Marie Pédrot
2023 J jnl
Martin-Löf à la Coq.
CoRR
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet
2022 J jnl
Advantages of maintaining a multi-task project-specific bot: an experience report.
CoRR
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
2022 B conf
Gardening with the Pythia A Model of Continuity in a Dependent Setting.
CSL
Martin Baillon, Assia Mahboubi, Pierre-Marie Pédrot
2022 J jnl
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report.
IEEE Softw.
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
2021 J jnl
Extending the team with a project-specific bot.
CoRR
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
2020 A* conf
Russian Constructivism in a Prefascist Theory.
LICS
Pierre-Marie Pédrot
2020 J jnl
The fire triangle: how to mix substitution, dependent elimination, and effects.
Proc. ACM Program. Lang.
Pierre-Marie Pédrot, Nicolas Tabareau
2019 J jnl
A reasonably exceptional type theory.
Proc. ACM Program. Lang.
Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, Éric Tanter
2018 A conf
Failure is Not an Option - An Exceptional Type Theory.
ESOP
Pierre-Marie Pédrot, Nicolas Tabareau
2017 A* conf
An effectful way to eliminate addiction to dependence.
LICS
Pierre-Marie Pédrot, Nicolas Tabareau
2017 B conf
The next 700 syntactical models of type theory.
CPP
Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau
2016 A conf
Classical By-Need.
ESOP
Pierre-Marie Pédrot, Alexis Saurin
2016 A* conf
The Definitional Side of the Forcing.
LICS
Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau
2015 — —
A Materialist Dialectica. (Une Dialectica matérialiste).
Pierre-Marie Pédrot
2014 — conf
A functional functional interpretation.
CSL-LICS
Pierre-Marie Pédrot
2014 — conf
Nécessité faite loi : de la réduction linéaire de tête à l'évaluation paresseuse.
JFLA
Pierre-Marie Pédrot, Amina Doumane, Alexis Saurin