A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell.

Adam Gundry

Browse the full HASKELL paper archive.