
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. |
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 |
![]() ![]() |
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 |
![]() ![]() |
3. |
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 |
![]() ![]() |
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 |
![]() ![]() |
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 |
![]() ![]() |