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

Twitter: https://twitter.com/justusadam_

GitHub: https://github.com/JustusAdam

Research interests: Compilers, Parallel Computing, Type Checking, Distributed Systems, PL


TAPAS 2020Author of Type checking beyond type checkers, via Slice & Run within the TAPAS-track
Show activities from other conferences

Using general profile