TY  - RPRT
TI  - A Discipline of Programming with Quantities
AU  - Steve McKeever
PY  - 2022
UR  - https://arxiv.org/abs/2210.12359
ID  - 2210.12359
ER  -