Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ingo Skupin
conf.researchr.org general profile
ICFP 2020 profile
ICFP 2022 profile
POPL 2020 profile
SPLASH 2024 profile
Registered user since Wed 5 Feb 2020
Name:
Ingo Skupin
Affiliation:
University of Tübingen
Contributions
2024
SPLASH
Author of Deriving Dependently-Typed OOP from First Principles within the OOPSLA 2024-track
2022
ICFP
Author of Introduction and Elimination, Left and Right within the ICFP Papers and Events-track
TyDe
Author of Structural Refinement Types within the TyDe 2022-track
2020
HOPE
Author of Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical within the HOPE 2020-track
POPL
Author of Decomposition Diversity with Symmetric Data and Codata within the Research Papers-track
Share
x
Tue 3 Dec 18:06