Registered user since Mon 9 Jan 2017
Name:Markus Klinik
Affiliation:Radboud University Nijmegen
Research interests:Functional Programming, Type Systems, Program Analysis
Contributions
POPL 2017-profile
View general profile
View general profile
Registered user since Mon 9 Jan 2017
Contributions