POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Tobias Nipkow
Tobias Nipkow

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

Show activities from other conferences

POPL 2018-profile
View general profile