![Peter Thiemann](https://popl17.sigplan.org/getProfileImage/peterthiemann/7595bb74-97ac-4eac-b254-e2323c799507/small.jpg?1711458980000)
Registered user since Fri 10 Apr 2015
Name:Peter Thiemann
Country:Germany
Affiliation:University of Freiburg
Personal website: http://www2.informatik.uni-freiburg.de/~thiemann/
Contributions
POPL 2017-profile
View general profile
View general profile