Research output per year
Research output per year
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., 25 Jan 2025, (E-pub ahead of print) In: Measurement: Sensors. 101460.Research output: Contribution to journal › Conference article › peer-review
-
Preserving model structure and constraints in scientific computing
Forbes , A., Lines, K., Nordvall Forsberg, F., McBride, C. & Videla, A., 21 Jan 2025, (E-pub ahead of print) In: Measurement: Sensors. 101796.Research output: Contribution to journal › Conference article › peer-review
-
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 Citations (Scopus)57 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 types › Oral presentation