EXPRESSIVE TYPE SYSTEMS FOR METROLOGY

Reference. EXPRESSIVE TYPE SYSTEMS FOR METROLOGY

Conor McBride, Georgi Nakov, Fredrik Nordvall Forsberg · Proceedings of the First International IMEKO TC6 Conference on Metrology and Digital Transformation - M4Dconf2022 · 2022 · dimension-types · DOI

Cite

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

BibTeX

bibtex · 1 line

@inproceedings{mcbride-2022-expressive, series={M4Dconf2022}, title={EXPRESSIVE TYPE SYSTEMS FOR METROLOGY}, url={http://dx.doi.org/10.21014/tc6-2022.036}, DOI={10.21014/tc6-2022.036}, booktitle={Proceedings of the First International IMEKO TC6 Conference on Metrology and Digital Transformation - M4Dconf2022}, publisher={IMEKO}, author={McBride, Conor and Nakov, Georgi and Nordvall Forsberg, Fredrik}, year={2022}, pages={1–4}, collection={M4Dconf2022} }

hayagriva YAML (typst)

yaml · 19 lines

mcbride-2022-expressive:
  type: article
  title: EXPRESSIVE TYPE SYSTEMS FOR METROLOGY
  author:
  - McBride, Conor
  - Nakov, Georgi
  - Nordvall Forsberg, Fredrik
  date: 2022
  page-range: 1-4
  url: http://dx.doi.org/10.21014/tc6-2022.036
  serial-number:
    doi: 10.21014/tc6-2022.036
  parent:
    type: proceedings
    title: Proceedings of the First International IMEKO TC6 Conference on Metrology and Digital Transformation - M4Dconf2022
    publisher: IMEKO
    parent:
      type: proceedings
      title: M4Dconf2022

Download: mcbride-2022-expressive.bib · mcbride-2022-expressive.yml

Cited by (1)

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

DOI

Cites 17 works (1 here)

With notes (1)

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

DOI

External (16)

MATLAB units of measurement (2022)
Software representation of measured physical quantities (2022)
Pint: makes units easy (2022)
JSR 385: Units of measurement (2021)
Software for calculation with physical quantities (2020)
The next 700 unit of measurement checkers (2018)
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell (2015)
Experience report: Type-checking polymorphic units for astrophysics research in Haskell (2014)
Quantities, units and computing (2013)
Type inference for units of measure (2011)
Boost C++ libraries, chapter 42 (Boost.Units 1.1.0) (2010)
Dependent Types at Work (2009)
Types for Units-of-Measure: Theory and Practice (2009)
Programming languages and dimensions (1995)
Computation with finitely presented groups (1994)
Automatic Dimensional Inference (1991)