Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Trust: Trusted Systems
Ghani, N., McBride, C. & Nordvall Forsberg, F.
1/10/19 → 30/09/23
Project: Research
-
Trusted Systems
Ghani, N., Nordvall Forsberg, F. & McBride, C.
National Physical Laboratory NPL
1/10/19 → 30/09/23
Project: Research
-
Measuring with confidence: leveraging expressive type systems for correct-by-construction software
McBride, C., Nakov, G. & Nordvall Forsberg, F., 22 Mar 2023, In: Acta IMEKO. 12, 1, 5 p., 15.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)14 Downloads (Pure) -
A type and scope safe universe of syntaxes with binding: their semantics and proofs
Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 19 Oct 2021, In: Journal of Functional Programming. 31, 55 p., e22.Research output: Contribution to journal › Article › peer-review
Open AccessFile4 Citations (Scopus)52 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
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
-
Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors
Fredrik Nordvall Forsberg (Speaker), Conor McBride (Contributor), Georgi Nakov (Contributor), Guillaume Allais (Contributor), Malin Altenmüller (Contributor) & Craig Roy (Contributor)
22 Jun 2022Activity: Talk or presentation types › Oral presentation
-
NPL Data Science Seminar: "Typed functional programming: helping the compiler help you"
Fredrik Nordvall Forsberg (Speaker) & Conor McBride (Speaker)
13 Jul 2021Activity: Public Engagement and Other Activities › Other