SPLASH 2024 (series) / 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
Using general profile