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_
GitHub: https://github.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