![Johannes Kinder](https://popl22.sigplan.org/getProfileImage/johanneskinder/69b27ea9-0cd8-407b-853f-e88b141b2927/small.jpg?1711620307000)
Registered user since Wed 5 Dec 2018
Name:Johannes Kinder
Country:Germany
Affiliation:Bundeswehr University Munich
Personal website: http://www.unibw.de/patch/kinder
Contributions
POPL 2022-profile
View general profile
View general profile
Registered user since Wed 5 Dec 2018
Contributions