Matías Toro
Universidad de Chile
H-index: 5
Latin America-Chile
Top articles of Matías Toro
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Programming Languages and Systems | ACM Transactions on | M Vukasovic A Prokopec A Boruch-Gruszecki M Odersky E Lee | 2023 |
Gradual Sensitivity Typing | arXiv preprint arXiv:2308.02018 | Damian Arquez Matías Toro Éric Tanter | 2023/8/3 |
Contextual linear types for differential privacy | ACM Transactions on Programming Languages and Systems | Matías Toro David Darais Chike Abuah Joseph P Near Damián Árquez | 2023/5/17 |
A Gradual Probabilistic Lambda Calculus | Proceedings of the ACM on Programming Languages | Wenjia Ye Matías Toro Federico Olmedo | 2023/4/6 |
Gradual System F | Journal of the ACM | Elizabeth Labrada Matías Toro Éric Tanter | 2022/10/28 |
Plausible sealing for gradual parametricity | Proceedings of the ACM on Programming Languages | Elizabeth Labrada Matías Toro Éric Tanter Dominique Devriese | 2022/4/29 |
Técnicas formales de privacidad de datos:¿ Está el Servel protegiendo nuestra privacidad? | Revista Bits de Ciencia | Matías Toro | 2022 |
LETEO: Scalable anonymization of big data and its application to learning analytics | Eduardo Giménez Lorena Etcheverry Federico Olmedo Carlos Buil Aranda Matías Toro | 2021 | |
Doctorados | Revista Bits de Ciencia | Miguel Campusano Matías Toro Mauricio Quezada Daniel Hernández | 2021/8/3 |
Abstracting gradual references | Science of Computer Programming | Matías Toro Éric Tanter | 2020/10/1 |
Abstracting Gradual References (SCICO Journal-first) | Matías Toro Éric Tanter | 2020 |