Projects per year
Fingerprint
Dive into the research topics where Conor McBride is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
KTP - Cambridge Quantum Computing (CQC)
McBride, C., Atkey, B. & Nordvall Forsberg, F.
Cambridge Quantum Computing Limited, KTP Govt (Momenta)
24/02/20 → 23/02/22
Project: Research
-
KTP - Cambridge Quantum Computing (CQC) / R190328-202
McBride, C., Atkey, B. & Nordvall Forsberg, F.
Cambridge Quantum Computing Limited
24/02/20 → 23/02/22
Project: Research - Internally Allocated
-
Type systems for programs respecting dimensions
McBride, C. & Nordvall Forsberg, F., 8 Jan 2021, (Accepted/In press) Advanced Mathematical and Computational Tools in Metrology and Testing XII. Singapore: World Scientific Publishing Co. Pte Ltd, 15 p. (Series on Advances in Mathematics for Applied Sciences).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile25 Downloads (Pure) -
A type and scope safe universe of syntaxes with binding: their semantics and proofs
Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 28 Jan 2020, (Accepted/In press) In: Journal of Functional Programming. 61 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile28 Downloads (Pure)
Datasets
-
Type-and-Scope Safe Programs and Their Proofs - Formalization
Chapman, J. (Creator), McBride, C. (Creator), Allais, G. (Creator) & McKinna, J. (Creator), University of Strathclyde, 9 Dec 2016
DOI: 10.15129/f1283dbb-64fd-4d35-aacc-49d3cc0893b8, https://github.com/agda/agda and one more link, https://github.com/gallais/type-scope-semantics (show fewer)
Dataset
-
Code for: "A type and scope safe universe of syntaxes with binding: their semantics and proofs"
Allais, G. (Creator), Atkey, B. (Creator), Chapman, J. (Creator), McBride, C. (Creator) & McKinna, J. (Creator), Association for Computing Machinery (ACM), 23 Aug 2018
DOI: 10.1145/3235048, https://github.com/gallais/generic-syntax
Dataset
Activities
-
Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
Conor McBride (Invited speaker)
2010Activity: Talk or presentation types › Invited talk
-
IFIP Working Group (External organisation)
Conor McBride (Member)
2010 → …Activity: Membership types › Membership of committee