• Sign in
  • Sign up
conf.researchr.org / David Binder
  • ICFP 2020 profile
  • ICFP 2022 profile
  • POPL 2020 profile

Not registered as user yet

Name:David Binder
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
HIW 2020 Author of Updating Immutable Code within the HIW 2020-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
xSun 4 Jun 05:47
using conf.researchr.org (v1.60.0)
Support page
Sign Up