Follow
Elizabeth Labrada
Elizabeth Labrada
PhD Student, University of Chile
Verified email at dcc.uchile.cl - Homepage
Title
Cited by
Cited by
Year
Gradual parametricity, revisited
M Toro, E Labrada, É Tanter
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
452019
Plausible sealing for gradual parametricity
E Labrada, M Toro, É Tanter, D Devriese
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022
62022
Gradual parametricity, revisited. PACMPL 3, POPL (2019), 17: 1–17: 30
M Toro, E Labrada, É Tanter
52019
Gradual parametricity, revisited (with appendix)
M Toro, E Labrada, É Tanter
arXiv preprint arXiv:1807.04596, 2018
22018
Gradual System F
E Labrada, M Toro, É Tanter
Journal of the ACM 69 (5), 1-78, 2022
12022
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
The system can't perform the operation now. Try again later.
Articles 1–7