Type-driven gradual security with references M Toro, R Garcia, É Tanter ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (4), 1-55, 2018 | 49 | 2018 |
Gradual parametricity, revisited M Toro, E Labrada, É Tanter Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 42 | 2019 |
A gradual interpretation of union types M Toro, É Tanter Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017 | 26 | 2017 |
Customizable gradual polymorphic effects for Scala M Toro, É Tanter ACM SIGPLAN Notices 50 (10), 935-953, 2015 | 22 | 2015 |
Abstracting gradual references M Toro, É Tanter Science of Computer Programming 197, 102496, 2020 | 15 | 2020 |
Plausible sealing for gradual parametricity E Labrada, M Toro, É Tanter, D Devriese Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022 | 3 | 2022 |
Contextual Linear Types for Differential Privacy M Toro, D Darais, C Abuah, J Near, D Árquez, F Olmedo, É Tanter arXiv preprint arXiv:2010.11342, 2020 | 2 | 2020 |
Gradual Parametricity, Revisited (with Appendix) M Toro, E Labrada, É Tanter arXiv preprint arXiv:1807.04596, 2018 | 2 | 2018 |
Gradual System F E Labrada, M Toro, É Tanter Journal of the ACM 69 (5), 1-78, 2022 | | 2022 |
Doctorados M Campusano, M Toro, M Quezada, D Hernández Revista Bits de Ciencia, 93-98, 2021 | | 2021 |
LETEO: Scalable anonymization of big data and its application to learning analytics E Giménez, L Etcheverry, F Olmedo, C Buil Aranda, M Toro, M Pastorini Udelar. FI., 2021 | | 2021 |
Abstracting Gradual References (SCICO Journal-first) M Toro, É Tanter 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | | 2020 |