@techreport{griffioen:hal-00923380, TITLE = {{Type Inference For Linear Algebra With Units Of Measurement}}, AUTHOR = {Griffioen, Paul}, URL = {https://inria.hal.science/hal-00923380}, TYPE = {Technical Report}, NUMBER = {SwAT-1302}, PAGES = {1 - 32}, YEAR = {2013}, HAL_ID = {hal-00923380}, HAL_VERSION = {v1}, }