David Binder -

Registered user since Fri 19 Apr 2024

Name:David Binder

Country:Germany

Affiliation:University of Tübingen

Personal website: https://binderdavid.github.io

GitHub: https://github.com/BinderDavid

Research interests:Programming Languages, Logic, Type Theory

Contributions

2024

SPLASH

Author of Deriving Dependently-Typed OOP from First Principles within the OOPSLA 2024-track

Unsound

Author of From FP to OOP and Back, Consistently within the UNSOUND 2024-track

HIW

Committee Member in Program Committee within the HIW 2024-track

ICFP

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