ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Klaus Ostermann

Registered user since Wed 21 Oct 2015

Name:Klaus Ostermann
Affiliation:University of Tübingen
Research interests:Programming Languages, Software Technology

Contributions

HOPE 2022 Lift Inference for Lexical Effect Handlers with Second-Class Functions
TyDe 2022 Structural Refinement Types
ICFP 2022 Introduction and Elimination, Left and Right
Show activities from other conferences

ICFP 2022-profile
View general profile