Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

20 résultats
Page :
triés par
Image document

Russian Constructivism in a Prefascist Theory

 Pierre-Marie Pédrot
LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.1-14, ⟨10.1145/3373718.3394740⟩
Communication dans un congrès hal-02548315v1
Image document

A Reasonably Exceptional Type Theory

 Pierre-Marie Pédrot , Nicolas Tabareau , Hans Jacob Fehrmann , Éric Tanter
Proceedings of the ACM on Programming Languages, 2019, Issue ICFP, 3, pp.1-29. ⟨10.1145/3341712⟩
Article dans une revue hal-02189128v1
Image document

Gardening with the Pythia A model of continuity in a dependent setting

 Martin Baillon , Assia Mahboubi , Pierre-Marie Pédrot
CSL 2022 - Computer Science Logic, Feb 2022, Göttingen, Germany. pp.1-19, ⟨10.4230/LIPIcs.CSL.2022.13⟩
Communication dans un congrès hal-03510671v1
Image document

Martin-Löf à la Coq

 Arthur Adjedj , Meven Lennon-Bertrand , Kenji Maillard , Pierre-Marie Pédrot , Loïc Pujet
2024
Pré-publication, Document de travail hal-04214008v2
Image document

Un régime au concentré d'automate

 Pierre-Marie Pédrot
JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Communication dans un congrès hal-00779752v1
Image document

The Definitional Side of the Forcing

 Guilhem Jaber , Gabriel Lewertowski , Pierre-Marie Pédrot , Matthieu Sozeau , Nicolas Tabareau
Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩
Communication dans un congrès hal-01319066v1
Image document

A Materialist Dialectica

 Pierre-Marie Pédrot
Logic in Computer Science [cs.LO]. Paris Diderot, 2015. English. ⟨NNT : ⟩
Thèse tel-01247085v1
Image document

Nécessité faite loi

 Pierre-Marie Pédrot , Alexis Saurin
JFLA, Jan 2014, Fréjus, France
Communication dans un congrès hal-01248779v1

Classical by-need

 Pierre-Marie Pédrot , Alexis Saurin
European Symposium on Programming, Apr 2016, Eindhoven, Netherlands
Communication dans un congrès hal-01257348v1
Image document

Modèles de la théorie des types donnés par traduction de programme

 Simon Boulier , Pierre-Marie Pédrot , Nicolas Tabareau
28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Communication dans un congrès hal-01503089v1
Image document

The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report

 Théo Zimmermann , Julien Coolen , Jason Gross , Pierre-Marie Pédrot , Gaëtan Gilbert
IEEE Software, 2022, pp.2-7. ⟨10.1109/MS.2022.3179773⟩
Article dans une revue hal-03479327v2
Image document

Pursuing Shtuck

 Pierre-Marie Pédrot
2023
Pré-publication, Document de travail hal-04251754v1

A Functional Functional Interpretation

 Pierre-Marie Pédrot
CSL-LICS 2014 - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603094⟩
Communication dans un congrès hal-01111802v1

Coq 8.4 Reference Manual

 Pierre Boutillier , Stephane Glondu , Benjamin Grégoire , Hugo Herbelin , Pierre Letouzey , et al.
[Research Report] Inria. 2014
Rapport hal-01114602v1
Image document

Failure is Not an Option An Exceptional Type Theory

 Pierre-Marie Pédrot , Nicolas Tabareau
ESOP 2018 - 27th European Symposium on Programming, Apr 2018, Thessaloniki, Greece. pp.245-271, ⟨10.1007/978-3-319-89884-1_9⟩
Communication dans un congrès hal-01840643v1

Nécessité faite loi: de la réduction linéaire de tête à l'évaluation paresseuse.

 Alexis Saurin , Pierre-Marie Pédrot
JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
Communication dans un congrès hal-01110337v1
Image document

∂ is for Dialectica

 Marie Kerjean , Pierre-Marie Pédrot
2022
Pré-publication, Document de travail hal-03123968v3
Image document

The next 700 syntactical models of type theory

 Simon Boulier , Pierre-Marie Pédrot , Nicolas Tabareau
Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.182 - 194, ⟨10.1145/3018610.3018620⟩
Communication dans un congrès hal-01445835v1
Image document

From Lost to the River: Embracing Sort Proliferation

 Gaëtan Gilbert , Pierre-Marie Pédrot , Matthieu Sozeau , Nicolas Tabareau
TYPES 2023 - 29th International Conference on Types for Proofs and Programs, Jun 2023, Valencia, Spain. pp.1-2
Communication dans un congrès hal-04378939v1
Image document

The Fire Triangle

 Pierre-Marie Pédrot , Nicolas Tabareau
Proceedings of the ACM on Programming Languages, 2020, pp.1-28. ⟨10.1145/3371126⟩
Article dans une revue hal-02383109v1
Page :