Publications of Mat¿as Toro

(if a year does not appear in the list, it is because there are no records for that particular year)

Year 2022

1. Gradual System F.
Journal: Journal of the ACM. Volume: 69. Issue: 5. Pages: 38:1-38:78. Date: October 2022.
Authors: Elizabeth Labrada, Mat¿as Toro, Éric Tanter
View reference page