Pierre-Marie Pédrot

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 14

Top Venues

LICS

CoRR

Proc. ACM Program. Lang.

CPP

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet
Martin-Löf à la Coq. CPP (2024)
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet
Martin-Löf à la Coq. CoRR (2023)
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report. IEEE Softw. 39 (5) (2022)
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
Advantages of maintaining a multi-task project-specific bot: an experience report. CoRR (2022)
Martin Baillon, Assia Mahboubi, Pierre-Marie Pédrot
Gardening with the Pythia A Model of Continuity in a Dependent Setting. CSL (2022)
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
Extending the team with a project-specific bot. CoRR (2021)
Pierre-Marie Pédrot, Nicolas Tabareau
The fire triangle: how to mix substitution, dependent elimination, and effects. Proc. ACM Program. Lang. 4 (POPL) (2020)
Pierre-Marie Pédrot
Russian Constructivism in a Prefascist Theory. LICS (2020)
Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, Éric Tanter
A reasonably exceptional type theory. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Pierre-Marie Pédrot, Nicolas Tabareau
Failure is Not an Option - An Exceptional Type Theory. ESOP (2018)
Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau
The next 700 syntactical models of type theory. CPP (2017)
Pierre-Marie Pédrot, Nicolas Tabareau
An effectful way to eliminate addiction to dependence. LICS (2017)
Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau
The Definitional Side of the Forcing. LICS (2016)
Pierre-Marie Pédrot, Alexis Saurin
Classical By-Need. ESOP (2016)
Pierre-Marie Pédrot, Amina Doumane, Alexis Saurin
Nécessité faite loi : de la réduction linéaire de tête à l'évaluation paresseuse. JFLA (2014)
Pierre-Marie Pédrot
A functional functional interpretation. CSL-LICS (2014)

Pierre-Marie Pédrot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre-Marie Pédrot