conf.researchr.org / Kai-Oliver Prott
Kai-Oliver Prott

Registered user since Fri 17 Jul 2020

Name:Kai-Oliver Prott
Country:Germany
Affiliation:University of Kiel, Germany
Personal website:https://git.ps.informatik.uni-kiel.de/kaiprott
Research interests:Functional Programming, Compiler, Type Systems

Contributions

PADL 2023 Author of Embedding Functional Logic Programming in Haskell via a Compiler Plugin within the PADL 2023-track
PLDI 2023 Author in Artifact Evaluation Committee within the Research Artifacts-track
APLAS 2022 Committee Member in Artifact Evaluation Committee
Haskell 2021 Author of Haskell⁻¹: Automatic Function Inversion in Haskell within the Haskell 2021-track
ICFP 2020 Author of A GHC-Plugin to Compile Effectful Languages within the Student Research Competition-track