Joseph Harrison

Registered user since Wed 2 Nov 2016

Name: Joseph Harrison

Bio: PhD Candidate in the School of Computing.

Country: United Kingdom

Affiliation: University of Kent, UK

Personal website:

Research interests: type systems, concurrency, erlang, compilers


OCaml 2020Author of API migration: compare transformed within the OCaml 2020-track
Erlang 2019Author of Runtime Type Safety for Erlang/OTP Behaviours within the Erlang 2019-track
Erlang 2018Author of Automatic Detection of Core Erlang Message Passing Errors within the Erlang 2018-track
Erlang 2017Author of Towards an Isabelle/HOL Formalisation of Core Erlang within the Erlang 2017-track