categories
tags

I gave a talk @RocqPL'26 on an automatic generation of parametricity translations for inductive types

January 17, 2026

Here are the slides and abstract.

« Prev Our paper 'Functional correctness of an optimized modular inversion algorithm' j.w.w Assia Mahboubi, Guillaume Melquiond, and Pierre-Yves Strub was accepted at ITP26 Next » I have a personal webpage!

© 2026 Tomás Vallejos Parada · Powered by Hugo & PaperMod