conf.researchr.org / Max Zeuner
Not registered as user yet
Name: Max Zeuner
Affiliation: Stockholm University
Contributions
POPL 2021 | Author of Internalizing Representation Independence with Univalence within the POPL-track |
Not registered as user yet
Name: Max Zeuner
Affiliation: Stockholm University
Contributions
POPL 2021 | Author of Internalizing Representation Independence with Univalence within the POPL-track |