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
Contributions
POPL 2021 | Author of Internalizing Representation Independence with Univalence within the POPL-track |