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 2026
| 1. |
Bounded Sort Polymorphism with Elimination
Constraints.
Journal: Proceedings of the ACM Programming Languages. Volume: 10. Issue: POPL. Pages: 2614-2642. Date: January 2026. Authors: Johann Rosain, Tomás Diaz, Kenji Maillard, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter, Theo Winterhalter |
|
| 2. |
Definitional Proof Irrelevance Made Accessible.
Conference: ACM/IEEE Symposium on Logic in Computer Science (Lisbon, Portugal). Publisher: IEEE Computer Society Press. Pages: 41:1-41:26. Date: 2026. Authors: Thiago Felicissimo, Yann Leray, Loïc Pujet, Nicolas Tabareau, Éric Tanter, Theo Winterhalter |
|