Verifying effectful Haskell programs in Coq. - Jan Christiansen; Sandra Dylus; Niels Bunkenburg (Haskell@ICFP, 2019)

Haskell⁻¹: automatic function inversion in Haskell. - Finn Teegen; Kai-Oliver Prott; Niels Bunkenburg (Haskell, 2021)

Making a Curry Interpreter using Effects and Handlers. - Niels Bunkenburg; Nicolas Wu (Haskell, 2024)