Registered user since Fri 29 May 2015

Name: Tobias Nipkow

Country: Germany

Affiliation: Technical University Munich

Personal website: http://www21.in.tum.de/~nipkow/

POPL 2018 Activities

• Committee Member in Program Committee for CPP 2018
• Show activities from other conferences