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 2023

1. A Gradual Probabilistic Lambda Calculus.
Journal: Proceedings of the ACM Programming Languages. Volume: 7. Issue: 84. Pages: 256-285. Date: April 2023.
Authors: Matías Toro, Federico Olmedo
View reference page
2. Contextual Linear Types for Differential Privacy.
Journal: ACM Transactions on Programming Languages and Systems. Volume: 45. Issue: 2. Pages: 8:1-8:69. Date: 2023.
Authors: Matías Toro, David Darais, Chike Abuah, Joseph Near, Damián Árquez, Federico Olmedo, Éric Tanter
View PDF View reference page