Publications

Stats

Picture of Éric Tanter

Publications of Éric Tanter

(if a year does not appear in the list, it is because there are no records for that particular year)

Year 2022

1. Propositional Equality for Gradual Dependently-Typed Programming.
Journal: Proceedings of the ACM Programming Languages. Volume: 6. Issue: ICFP. Pages: 165-193. Date: August 2022.
Authors: Joseph Eremondi, Ronald Garcia, Éric Tanter
View reference page
2. A Reasonably Gradual Type Theory.
Journal: Proceedings of the ACM Programming Languages. Volume: 6. Issue: ICFP. Pages: 931-959. Date: August 2022.
Authors: Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter
View reference page
3. Gradual System F.
Journal: Journal of the ACM. Volume: 69. Issue: 5. Pages: 38:1-38:78. Date: October 2022.
Authors: Elizabeth Labrada, Mat¿as Toro, Éric Tanter
View reference page
4. Plausible Sealing for Gradual Parametricity.
Journal: Proceedings of the ACM Programming Languages. Volume: 6. Issue: OOPSLA1. Pages: 70:1-70:28. Date: April 2022.
Authors: Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese
View PDF View reference page
5. Gradualizing the Calculus of Inductive Constructions.
Journal: ACM Transactions on Programming Languages and Systems. Volume: 44. Issue: 2. Pages: 7:1-7:82. Date: June 2022.
Authors: Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
View PDF View reference page