
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
Personal website: https://cs.kent.ac.uk/~jrh53
Research interests: Erlang
Contributions
Erlang 2017 | Towards an Isabelle/HOL Formalisation of Core Erlang | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2017-profile
View general profile
View general profile