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 | Author of Type checking beyond type checkers, via Slice & Run within the TAPAS-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile