Kai-Oliver Prott
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PPDP | Determinism Types for Functional Logic Programming. | Michael Hanus, Kai-Oliver Prott |
| 2023 | PADL | Embedding Functional Logic Programming in Haskell via a Compiler Plugin. | Kai-Oliver Prott, Finn Teegen, Jan Christiansen |
| 2022 | PPDP | A Monadic Implementation of Functional Logic Programs. | Michael Hanus, Kai-Oliver Prott, Finn Teegen |
| 2021 | HASKELL | Haskell⁻¹: automatic function inversion in Haskell. | Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg |