- 2
- 2
- 1
- 1
- 1
NT
Nicolas Tabareau
7
Documents
Présentation
Publications
- 7
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
The Fire TriangleProceedings of the ACM on Programming Languages, 2020, pp.1-28. ⟨10.1145/3371126⟩
Article dans une revue
hal-02383109v1
|
|
A Reasonably Exceptional Type TheoryProceedings 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 ProliferationTYPES 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 TheoryESOP 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 theoryCertified 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 programme28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Communication dans un congrès
hal-01503089v1
|
|
The Definitional Side of the ForcingLogics 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
|