That little connection sent me on a Google quest. Interesting paper along those lines: "Types for Units of Measure: Theory and Practice": http://research.mic

That little connection sent me on a Google quest. Interesting paper along those lines: "Types for Units of Measure: Theory and Practice": http://research.microsoft.com/en-us/um/people/akenn/units/CEFP09TypesForUnitsOfMeasure.pdf http://research.microsoft.com/en-us/um/people/akenn/units/CE...