Registered user since Mon 22 Jul 2019
Name:Niels Bunkenburg
Country:Germany
Affiliation:University of Kiel, Germany
Personal website: https://bunkenburg.net/
Research interests:Programming Languages, Functional Programming, Program Verification
Contributions
2019
ICFP 2019-profile
View general profile
View general profile