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 |
|