• Sign in
  • Sign up
conf.researchr.org / Ingo Skupin
  • 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
xFri 2 Jun 17:42
using conf.researchr.org (v1.60.0)
Support page
Sign Up