Gradual Parametricity, Revisited

Toro, Matías; Labrada, Elizabeth; TANTER, ÉRIC

Más información

Título de la Revista: Proceedings of the ACM on Programming Languages
Volumen: 3
Número: POPL
Editorial: Association for Computing Machinery (ACM)
Fecha de publicación: 2019
Página de inicio: 17:1
Página final: 17:30
URL: https://doi.org/10.1145/3290330