![Tobias Nipkow](https://popl16.sigplan.org/getProfileImage/tobiasnipkow/c956dfd3-304d-422a-940e-6f7ce71167b3/small.jpg?1712264548000)
Registered user since Fri 29 May 2015
Name:Tobias Nipkow
Affiliation:Technische Universität München
Personal website: http://www21.in.tum.de/~nipkow/
Contributions
POPL 2016-profile
View general profile
View general profile
Registered user since Fri 29 May 2015
Contributions