SPLASH 2024 (series) / David Binder
![David Binder](https://2024.splashcon.org/getProfileImage/davidbinder/45227a82-f2d5-4d0b-881a-13aa19e44867/small.jpg?1713531672000)
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
Using general profile