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
ICFP 2024-profile
View general profile
View general profile