Kai-Oliver Prott

Registered user since Fri 17 Jul 2020

Name:Kai-Oliver Prott
Affiliation:University of Kiel, Germany
Research interests:Functional Programming, Compiler, Type Systems


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