Kai-Oliver Prott

According to our database, Kai-Oliver Prott authored at least 4 papers between 2021 and 2025.

Collaborative distances:

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

2025

Determinism Types for Functional Logic Programming.

Michael Hanus, Kai-Oliver Prott

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025

2023

Embedding Functional Logic Programming in Haskell via a Compiler Plugin.

Kai-Oliver Prott, Finn Teegen, Jan Christiansen

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

A Monadic Implementation of Functional Logic Programs.

Michael Hanus, Kai-Oliver Prott, Finn Teegen

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

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