Gradual parametricity, revisited M Toro, E Labrada, É Tanter Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 48 | 2019 |
Plausible sealing for gradual parametricity E Labrada, M Toro, É Tanter, D Devriese Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022 | 6 | 2022 |
Gradual parametricity, revisited. PACMPL 3, POPL (2019), 17: 1–17: 30 M Toro, E Labrada, É Tanter | 5 | 2019 |
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 | 1 | 2022 |
Detection of bilingual plagiarism. F Zamora, D Castro, E Labrada Revista Antioqueña de las Ciencias Computacionales 6 (1), 2016 | | 2016 |
Detection of bilingual plagiarism Detección de Plagio Bilingüe F Zamora, D Castro, E Labrada REVISTA ANTIOQUEÑA DE LAS CIENCIAS COMPUTACIONALES Y LA INGENIERÍA DE …, 2016 | | 2016 |