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
ICFP 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Haskell 2019	Author of STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism within the Haskell 2019-track