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

2024

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Extended Review Committee and External Reviewers within the Technical Papers-track

2023

Symposium on Practical Aspects of Declarative Languages

Author of Embedding Functional Logic Programming in Haskell via a Compiler Plugin within the PADL 2023-track

PLDI

Author in Artifact Evaluation Committee within the Research Artifacts-track

2022

APLAS

Committee Member in Artifact Evaluation Committee

2021

Haskell

Author of Haskell⁻¹: Automatic Function Inversion in Haskell within the Haskell 2021-track

2020

ICFP

Author of A GHC-Plugin to Compile Effectful Languages within the Student Research Competition-track