conf.researchr.org / Craig McLaughlin
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 |