@inbook{mcbride-2022-type, title={Type systems for programs respecting dimensions}, ISSN={1793-0901}, url={http://dx.doi.org/10.1142/9789811242380_0020}, DOI={10.1142/9789811242380_0020}, booktitle={Advanced Mathematical and Computational Tools in Metrology and Testing XII}, publisher={WORLD SCIENTIFIC}, author={McBride, Conor and Nordvall-Forsberg, Fredrik}, year={2022}, month=Jan, pages={331–345} }