publications
talks
old news

I have a personal webpage!

August 30, 2024

« Prev I gave a talk at RocqPL'26 on an automatic generation of parametricity translations for inductive types [**(abstract)**](/papers/26/abstract-26rocqpl-trocq-param.pdf) [**(slides)**](/slides/26/slides-26rocqpl-trocq-param.pdf) Next » My Master's thesis appeared in the latest [**(issue)**](https://www.dcc.uchile.cl/difusion/revista/26) of the Bits Magazine, the outreach magazine of the Computer Science Department at the University of Chile (in Spanish). Check out the student's section

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