| Type-driven gradual security with references M Toro, R Garcia, É Tanter ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (4), 1-55, 2018 | 57 | 2018 |
| Gradual parametricity, revisited M Toro, E Labrada, É Tanter Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 50 | 2019 |
| A gradual interpretation of union types M Toro, É Tanter Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017 | 31 | 2017 |
| Customizable gradual polymorphic effects for Scala M Toro, É Tanter ACM SIGPLAN Notices 50 (10), 935-953, 2015 | 25 | 2015 |
| Abstracting gradual references M Toro, É Tanter Science of Computer Programming 197, 102496, 2020 | 21 | 2020 |
| Contextual linear types for differential privacy M Toro, D Darais, C Abuah, JP Near, D Árquez, F Olmedo, É Tanter ACM Transactions on Programming Languages and Systems 45 (2), 1-69, 2023 | 13 | 2023 |
| Plausible sealing for gradual parametricity E Labrada, M Toro, É Tanter, D Devriese Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022 | 7 | 2022 |
| Gradual parametricity, revisited. PACMPL 3, POPL (2019), 17: 1–17: 30 M Toro, E Labrada, É Tanter | 5 | 2019 |
| A gradual probabilistic lambda calculus W Ye, M Toro, F Olmedo Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 256-285, 2023 | 2 | 2023 |
| Gradual parametricity, revisited (with appendix) M Toro, E Labrada, É Tanter arXiv preprint arXiv:1807.04596, 2018 | 2 | 2018 |
| Gradual Sensitivity Typing D Arquez, M Toro, É Tanter arXiv preprint arXiv:2308.02018, 2023 | 1 | 2023 |
| Gradual System F E Labrada, M Toro, É Tanter Journal of the ACM 69 (5), 1-78, 2022 | 1 | 2022 |
| Técnicas formales de privacidad de datos:¿ Está el Servel protegiendo nuestra privacidad? M Toro Revista Bits de Ciencia, 36-36, 2022 | 1 | 2022 |
| Type-Driven Gradual Security with References: Complete Definitions and Proofs M Toro, R Garcia, É Tanter Technical Report TR/DCC-2018-4. University of Chile, 2018 | 1 | 2018 |
| Merging Gradual Typing W Ye, BCS Oliveira, M Toro Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 648-676, 2024 | | 2024 |
| Speed Limit Reduction Enhances Urban Worker Safety: Evidence from a Decade of Traffic Incidents in Santiago, Chile E Graells-Garrido, M Toro, G Mansilla, M Nicolai, S Mansilla, J Dunstan arXiv preprint arXiv:2408.00687, 2024 | | 2024 |
| Gradual Differentially Private Programming M Toro, F Olmedo, É Tanter Communications of the ACM 67 (8), 49-53, 2024 | | 2024 |
| Programming Languages and Systems M Vukasovic, A Prokopec, A Boruch-Gruszecki, M Odersky, E Lee, ... ACM Transactions on 45 (4), 2023 | | 2023 |
| Doctorados M Campusano, M Toro, M Quezada, D Hernández Revista Bits de Ciencia, 93-98, 2021 | | 2021 |
| Abstracting Gradual References (SCICO Journal-first) M Toro, É Tanter 34th European Conference on Object-Oriented Programming (ECOOP 2020), 33: 1 …, 2020 | | 2020 |
Éric TanterProfessor of Computer Science, University of ChileVerifierad e-postadress på dcc.uchile.cl