LabMate: A prospectus for types for MATLAB

Reference. LabMate: A prospectus for types for MATLAB

Conor McBride, Georgi Nakov, Fredrik Nordvall Forsberg, Andre Videla, Alistair Forbes, Keith Lines · Measurement: Sensors · 2025 · dimension-types · DOI

Cite

Cite as @mcbride-2025-labmate (helia, typst) · \cite{mcbride-2025-labmate} (LaTeX)

BibTeX

bibtex · 1 line

@article{mcbride-2025-labmate, title={LabMate: A prospectus for types for MATLAB}, volume={38}, ISSN={2665-9174}, url={http://dx.doi.org/10.1016/j.measen.2024.101460}, DOI={10.1016/j.measen.2024.101460}, journal={Measurement: Sensors}, publisher={Elsevier BV}, author={McBride, Conor and Nakov, Georgi and Nordvall Forsberg, Fredrik and Videla, Andre and Forbes, Alistair and Lines, Keith}, year={2025}, month=May, pages={101460} }

hayagriva YAML (typst)

yaml · 21 lines

mcbride-2025-labmate:
  type: article
  title: 'LabMate: A prospectus for types for MATLAB'
  author:
  - McBride, Conor
  - Nakov, Georgi
  - Nordvall Forsberg, Fredrik
  - Videla, Andre
  - Forbes, Alistair
  - Lines, Keith
  date: 2025-05
  page-range: '101460'
  url: http://dx.doi.org/10.1016/j.measen.2024.101460
  serial-number:
    doi: 10.1016/j.measen.2024.101460
    issn: 2665-9174
  parent:
    type: periodical
    title: 'Measurement: Sensors'
    publisher: Elsevier BV
    volume: 38

Download: mcbride-2025-labmate.bib · mcbride-2025-labmate.yml

Cited by (1)

Preserving model structure and constraints in scientific computing forbes-2025-preservingMeasurement: Sensors · 2025

DOI

Cites 13 works (2 here)

With notes (2)

Measuring with confidence: leveraging expressive type systems for correct-by-construction software mcbride-2023-measuringActa IMEKO · 2023

Modern programming language type systems help programmers write correct software, and furthermore helps them write the software they actually intended to write. We show how expressive types can be used to encode dimension and units of measure information, which can be used to avoid dimensional mistakes and guide software construction, and how types can even help to generate code automatically, which eliminates a whole class of bugs.

DOI

Type systems for programs respecting dimensions mcbride-2022-typeAdvanced Mathematical and Computational Tools in Metrology and Testing XII · 2022

DOI

External (11)

Idris 2: quantitative type theory in practice (2021)
Driving types into PHP (invited talk) (2017)
New equations for neutral terms: a sound and complete decision procedure, formalized (2013)
An automated cryogenic current comparator resistance ratio bridge for routine resistance measurements (2010)
Types for units-of-measure: theory and practice (2009)
Towards a practical programming language based on dependent type theory (2007)
Why dependent types matter (2005)
Computation with finitely presented groups (1994)
How to make ad-hoc polymorphism less ad hoc (1989)
Principal type-schemes for functional programs (1982)
A machine-oriented logic based on the resolution principle (1965)