The Marriage of Univalence and Parametricity.
In: Journal of the ACM, Jg. 68 (2021), Heft 1, S. 1-44
Online
academicJournal
Zugriff:
Titel: |
The Marriage of Univalence and Parametricity.
|
---|---|
Autor/in / Beteiligte Person: | TABAREAU, NICOLAS ; TANTER, ÉRIC ; SOZEAU, MATTHIEU |
Link: | |
Zeitschrift: | Journal of the ACM, Jg. 68 (2021), Heft 1, S. 1-44 |
Veröffentlichung: | 2021 |
Medientyp: | academicJournal |
ISSN: | 0004-5411 (print) |
DOI: | 10.1145/3429979 |
Sonstiges: |
|