Registered user since Wed 27 Nov 2019
Name: Johan Commelin
Affiliation: Universität Freiburg
Contributions
| CPP 2021 | Formalizing the Ring of Witt Vectors | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile