conf.researchr.org / David Binder

Not registered as user yet

Name:David Binder
Affiliation:University of Tübingen

Contributions

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