David Binder -

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