SPLASH 2020 (series) / 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
Twitter:https://twitter.com/justusadam_
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
View general profile