Kai-Oliver Prott

Registered user since Fri 17 Jul 2020

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

Contributions

PADL 2023 Embedding Functional Logic Programming in Haskell via a Compiler Plugin
Show activities from other conferences

POPL 2023-profile
View general profile