Portal del Investigador
The Marriage of Univalence and Parametricity
Más información
| Título de la Revista: | JOURNAL OF THE ACM |
| Volumen: | 68 |
| Número: | 1 |
| Editorial: | ASSOC COMPUTING MACHINERY |
| Fecha de publicación: | 2021 |
| Página de inicio: | 5:1 |
| Página final: | 5:44 |
| URL: | https://doi.org/10.1145/3429979 |