![Tobias Nipkow](https://popl18.sigplan.org/getProfileImage/tobiasnipkow/a848a353-dedc-4595-bb42-3c34a6dd42bf/small.jpg?1711526285000)
Registered user since Fri 29 May 2015
Name:Tobias Nipkow
Country:Germany
Affiliation:Technical University Munich
Personal website: http://www21.in.tum.de/~nipkow/
Contributions
POPL 2018-profile
View general profile
View general profile
Registered user since Fri 29 May 2015
Contributions