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