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

Registered user since Wed 5 Feb 2020

Name:Ingo Skupin
Affiliation:University of T├╝bingen

Contributions

ICFP 2022 Introduction and Elimination, Left and Right
TyDe 2022 Structural Refinement Types
Show activities from other conferences

ICFP 2022-profile
View general profile