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

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 conferencePaper

Open Access
Computer programming languages
Substitution reactions
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 journalConference Contribution

Open Access
Substitution reactions


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


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 typesMembership of committee