Not registered as user yet

Name: Craig McLaughlin

Affiliation: The University of Edinburgh

Contributions

CPP 2018 Author of Triangulating Context Lemmas within the CPP 2018-track
POPL 2017 Author of Do be do be do within the POPL-track