Kai-Oliver Prott

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Top Venues

Publications

Kai-Oliver Prott, Finn Teegen, Jan Christiansen
Embedding Functional Logic Programming in Haskell via a Compiler Plugin. PADL (2023)
Michael Hanus, Kai-Oliver Prott, Finn Teegen
A Monadic Implementation of Functional Logic Programs. PPDP (2022)
Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg
Haskell⁻¹: automatic function inversion in Haskell. Haskell (2021)