Klaus Ostermann - SPLASH 2024

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

Registered user since Wed 21 Oct 2015

Name:Klaus Ostermann

Country:Germany

Affiliation:University of Tübingen

Personal website: http://ps.informatik.uni-tuebingen.de/team/ostermann/

Research interests:Programming Languages, Software Technology

Contributions

2024

SPLASH

Deriving Dependently-Typed OOP from First Principles

Show activities from other conferences

SPLASH 2024-profile
View general profile