Here are the slides and abstract.
Home News I gave a talk at RocqPL'26 on an automatic generation of parametricity translations for inductive types [**(slides)**](/slides/26/slides-26rocqpl-trocq-param.pdf) [**(abstract)**](/papers/26/abstract-26rocqpl-trocq-param.pdf)January 17, 2026Here are the slides and abstract.