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