
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 2021 | Haskell⁻¹: Automatic Function Inversion in Haskell | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile