Pierre-Marie Pédrot -

Registered user since Tue 18 Jun 2019

Name:Pierre-Marie Pédrot

Country:France

Affiliation:INRIA

Personal website: https://www.pédrot.fr

GitHub: https://github.com/ppedrot

Research interests:Type Theory

Contributions

2024

POPL

Committee Member in Program Committee within the POPL-track

2023

BotSE

Author of The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report within the BotSE 2023-track

LAFI

Author of ∂ is for Dialectica: typing differentiable programming within the LAFI 2023-track

CPP

Committee Member in Program Committee within the CPP 2023-track

2022

APLAS

Committee Member in Program Committee

ML

Author of Extraction to OCaml from Coq: Operational Correctness Verified in Coq within the ML-track

WITS

Committee Member in Program Committee within the WITS 2022-track

2020

POPL

Author of The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects within the Research Papers-track

2019

ICFP

Author of A Reasonably Exceptional Type Theory within the Research Papers-track

CoqPL

Author of Ltac2: Tactical Warfare within the CoqPL-track

2017

CPP

Author of The Next 700 Syntactical models of type theory within the CPP-track