
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
Haskell 2019 | Verifying Effectful Haskell Programs in Coq | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile