mcbride-2022-type:
  type: chapter
  title: Type systems for programs respecting dimensions
  author:
  - McBride, Conor
  - Nordvall-Forsberg, Fredrik
  date: 2022-01
  page-range: 331-345
  url: http://dx.doi.org/10.1142/9789811242380_0020
  serial-number:
    doi: 10.1142/9789811242380_0020
    issn: 1793-0901
  parent:
    type: book
    title: Advanced Mathematical and Computational Tools in Metrology and Testing XII
    publisher: WORLD SCIENTIFIC