
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