• Sign in
  • Sign up
conf.researchr.org / Kai-Oliver Prott
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ISSTA/ECOOP 2024 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

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
Share
xFri 9 May 01:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up