Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/19 → 30/09/24 |
Funding
- National Physical Laboratory NPL
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
-
LabMate: a prospectus for types for MATLAB
McBride, C., Nakov, G., Nordvall Forsberg, F., Videla, A., Forbes , A. & Lines, K., May 2025, In: Measurement: Sensors. 38, 101460.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)45 Downloads (Pure) -
Preserving model structure and constraints in scientific computing
Forbes , A., Lines, K., Nordvall Forsberg, F., McBride, C. & Videla, A., May 2025, In: Measurement: Sensors. 38, 101796.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile5 Downloads (Pure) -
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 AccessFile3 Link opens in a new tab Citations (Scopus)53 Downloads (Pure)
-
NPL Data Science Seminar: "Typed functional programming: helping the compiler help you"
Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)
13 Jul 2021Activity: Public Engagement and Outreach › Public Events
-
Public engagement talk: "Dimensionally correct by construction: Type systems for programs respecting dimensions"
Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)
15 Jun 2021Activity: Talk or Presentation › Oral presentation