Niels Bunkenburg

According to our database, Niels Bunkenburg authored at least 3 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Making a Curry Interpreter using Effects and Handlers.

Niels Bunkenburg, Nicolas Wu

Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, 2024

2021

Haskell⁻¹: automatic function inversion in Haskell.

Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

2019

Verifying effectful Haskell programs in Coq.

Jan Christiansen, Sandra Dylus, Niels Bunkenburg

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019