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
Registered user since Wed 5 Feb 2020
Name:
Ingo Skupin
Affiliation:
University of Tübingen
Contributions
ICFP 2022
Author of Introduction and Elimination, Left and Right within the ICFP Papers and Events-track
TyDe 2022
Author of Structural Refinement Types within the TyDe 2022-track
HOPE 2020
Author of Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical within the HOPE 2020-track
POPL 2020
Author of Decomposition Diversity with Symmetric Data and Codata within the Research Papers-track
Share
x
Fri 2 Jun 17:42