SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
André Pacak

Registered user since Fri 14 Jun 2019

Name: André Pacak

Affiliation: University of Mainz

Contributions

SPLASH 2020 A Systematic Approach to Deriving Incremental Type Checkers
Show activities from other conferences

SPLASH 2020-profile
View general profile