![Tobias Nipkow](https://popl23.sigplan.org/getProfileImage/tobiasnipkow/d8507d63-fc17-49b6-94d9-94467f453a5e/small.jpg?1711526285000)
Registered user since Fri 29 May 2015
Name:Tobias Nipkow
Country:Germany
Affiliation:Technische Universität München
Personal website: https://www21.in.tum.de/~nipkow
Contributions
POPL 2023-profile
View general profile
View general profile
Registered user since Fri 29 May 2015
Contributions