Research output per year
Research output per year
DR.
Accepting PhD Students
My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and secure mobile code.
Doctor of Philosophy (PhD), University of Cambridge, Names and Higher-Order Functions
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
McLaughlin, C. (Creator), McKinna, J. (Creator) & Stark, I. (Creator), Edinburgh DataShare, 6 Dec 2017
DOI: 10.7488/ds/2264, https://popl18.sigplan.org/event/cpp-2018-triangulating-context-lemmas
Dataset