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
Research interests:type systems, concurrency, erlang, compilers

Contributions

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