CV Accueil - Archive ouverte HAL

	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
	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

	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
	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
	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
	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
	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

Nicolas Tabareau