Type Inference in Context. - Adam Gundry; Conor McBride; James McKinna (MSFP@ICFP, 2010)

A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell. - Adam Gundry (Haskell, 2015)