Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ingo Skupin
conf.researchr.org general profile
ICFP 2020 profile
POPL 2020 profile
Registered user since Wed 5 Feb 2020
Name:
Ingo Skupin
Affiliation:
University of Tübingen
Contributions
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
Mon 18 Oct 16:37