20082020

Research output per year

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

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

Projects

Research Output

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 journalArticle

Open Access
File
  • 3 Downloads (Pure)

    Doo bee doo bee doo

    Convent, L., Lindley, S., McBride, C. & McLaughlin, C., 31 Mar 2020, In : Journal of Functional Programming. 30, 53 p., e9.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 2 Citations (Scopus)
    2 Downloads (Pure)

    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

    Dataset

    Activities

    • 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