CPP 2018
Mon 8 - Sat 13 January 2018 Los Angeles, California, United States
co-located with POPL 2018
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

CPP 2018Committee Member in Program Committee within the CPP 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile