Niels Bunkenburg

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 3

Top Topics

Plagiarism Detection

Functional Language

Top Venues

Publications

Niels Bunkenburg, Nicolas Wu
Making a Curry Interpreter using Effects and Handlers. Haskell (2024)
Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg
Haskell⁻¹: automatic function inversion in Haskell. Haskell (2021)
Jan Christiansen, Sandra Dylus, Niels Bunkenburg
Verifying effectful Haskell programs in Coq. Haskell@ICFP (2019)