David Binder - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

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

2024

SPLASH

Deriving Dependently-Typed OOP from First Principles

Unsound

From FP to OOP and Back, Consistently

Show activities from other conferences

SPLASH 2024-profile
View general profile