‹Programming› 2026 (series) / David Binder
Registered user since Fri 19 Apr 2024
Name:David Binder
Country:United Kingdom
Affiliation:University of Kent, UK
Personal website: https://binderdavid.github.io
GitHub: https://github.com/BinderDavid
Research interests:Programming Languages, Logic, Type Theory
Contributions
2026
‹Programming›
Using general profile