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
Dissection Engineering & Materials Science

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
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 journalConference 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, R. (Creator), Chapman, J. (Creator), McBride, C. (Creator), McKinna, J. (Creator), Association for Computing Machinery (ACM), 23 Aug 2018

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 typesMembership 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 typesInvited talk