Slide 1Types for Units of Measure Andrew Kennedy Microsoft Research Slide 2 Motivation zTypes catch errors in programs zPrograms written in type-safe programming languages…