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. 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 reference page
2. 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 reference page