Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Binder
conf.researchr.org general profile
ICFP 2020 profile
ICFP 2022 profile
POPL 2020 profile
SPLASH 2023 profile
Not registered as user yet
Name:
David Binder
Country:
Germany
Affiliation:
University of Tübingen
Contributions
2023
SPLASH
Author of Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference within the OOPSLA-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
HIW
Author of Updating Immutable Code within the HIW 2020-track
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
Sun 10 Dec 12:00