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.
- 5 Similar Profiles
Substitution reactions
Engineering & Materials Science
Functional programming
Engineering & Materials Science
Containers
Engineering & Materials Science
Semantics
Engineering & Materials Science
Computer programming languages
Engineering & Materials Science
Recursive functions
Engineering & Materials Science
Syntactics
Engineering & Materials Science
Dissection
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2009 2021
KTP - Cambridge Quantum Computing (CQC)
McBride, C., Atkey, R. & Nordvall Forsberg, F.
Cambridge Quantum Computing Limited, KTP Govt (Momenta)
5/08/19 → 4/08/21
Project: Research
Homotopy Type Theory: Programming and Verification
EPSRC (Engineering and Physical Sciences Research Council)
1/04/15 → 30/09/19
Project: Research
Programming theory
Computer programming languages
Costs
Reusability
Model checking
Research Output 2008 2018
A type and scope safe universe of syntaxes with binding: their semantics and proofs
Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 23 Sep 2018. 30 p.Research output: Contribution to conference › Paper
Open Access
File
Computer programming languages
Semantics
Substitution reactions
Binders
Printing
Everybody's got to be somewhere
McBride, C., 10 Jul 2018, In : Electronic Proceedings in Theoretical Computer Science. 275, p. 53-69 17 p.Research output: Contribution to journal › Conference Contribution
Open Access
File
Substitution reactions
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, R. (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 2008 2010
Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
Conor McBride (Invited speaker)2010
Activity: Talk or presentation types › Invited talk
IFIP Working Group (External organisation)
Conor McBride (Member)2010 → …
Activity: Membership types › Membership of committee