• Sign in
  • Sign up
conf.researchr.org / Kai-Oliver Prott
  • ICFP 2020 profile
  • ICFP 2021 profile
  • PLDI 2023 profile
  • POPL 2023 profile
  • SPLASH 2022 profile
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

Share
xSat 3 Jun 04:35
using conf.researchr.org (v1.60.0)
Support page
Sign Up