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 |