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 | Author of Towards an Isabelle/HOL Formalisation of Core Erlang within the Erlang 2017-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2017-profile
View general profile
View general profile