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