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


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

ICFP 2022-profile
View general profile