Klaus Ostermann - ICFP 2022

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Registered user since Wed 21 Oct 2015

Name:Klaus Ostermann

Affiliation:University of Tübingen

Personal website: http://ps.informatik.uni-tuebingen.de/team/ostermann/

Research interests:Programming Languages, Software Technology

Contributions

2022

HOPE

Lift Inference for Lexical Effect Handlers with Second-Class Functions

ICFP

Introduction and Elimination, Left and Right

TyDe

Structural Refinement Types

Show activities from other conferences

ICFP 2022-profile
View general profile