No photo of Conor McBride

View Scopus Profile

Conor McBride

Dr

 https://orcid.org/0000-0003-1487-0886

  • United Kingdom

20082023
If you made any changes in Pure these will be visible here soon.

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
Typed lambda Calculus Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2009 2023

Trusted Systems

Ghani, N. & McBride, C.

National Physical Laboratory NPL

1/10/19 → 30/09/23

Project: Research

Trust: Trusted Systems

Ghani, N., McBride, C. & Nordvall Forsberg, F.

1/10/19 → 30/09/23

Project: Research

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
1 Citation (Scopus)
35 Downloads (Pure)

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

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

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

Activities 2008 2010

  • 2 Journal or guest editorship
  • 1 Organiser of major conference
  • 1 Membership of committee
  • 1 Invited talk

IFIP Working Group (External organisation)

Conor McBride (Member)
2010 → …

Activity: Membership types › Membership of committee

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