SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Justus Adam

Registered user since Thu 1 Aug 2019

Name:Justus Adam
Country:United Kingdom
Affiliation:University of Kent, UK
Personal website:https://justus.science
Research interests:Compilers, Parallel Computing, Type Checking, Distributed Systems, PL

Contributions

TAPAS 2020 Type checking beyond type checkers, via Slice & Run
Show activities from other conferences

SPLASH 2020-profile
View general profile