Conor McBride

Reader, Computer And Information Sciences
SICSA

Phone01415483172
Emailconor.mcbride@strath.ac.uk

United Kingdom

Research activity 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.

6 Similar Profiles

Network

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

3 Active
5 Finished

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

13 Conference contribution book
7 Article
2 Conference Contribution
1 Book
More
- 1 Chapter

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 journal › Article › peer-review

Open Access
File
8 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 journal › Article › peer-review

Open Access
File
7 Citations (Scopus)

11 Downloads (Pure)

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, 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

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