Types for Units of Measure Andrew Kennedy Microsoft Research.
A Framework for Implementing Pluggable Type Systems