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