Links

Papers about types and units of measurement:

• Relational Parametricity and Units of Measure
• Fibrational Units of Measure

Interesting thoughts about units in PLs, dimensional analysis etc.

• Formalizing quantities that have units
• A mathematical formalisation of dimensional analysis
• Units of Measure in F#: Part One, Introducing Units
• Units of Measure in F#: Part Two, Unit Conversions
• Units of Measure in F#: Part Three, Generic Units
• Units of Measure in F#: Part Four, Parameterized Types
• Frink – Programming Language supporting units
• Units of measurement are a torsor over the positive/non-zero reals: torsor in nLab
• twitter.com/UnitFact

Unit systems:

• WP: SI base unit
• WP: SI derived unit
• WP: Metric prefix
• WP: Imperial units
• WP: Non-SI units mentioned in the SI
• SI brochure

Libraries in other programming languages:

• Agda: UnitsAsTypes, Static-Dimensions
• Scala: squants
• Coq: algebraically-indexed-types/coq/units.v
• Python: python-quantities
• Ruby: ruby-units, quantity
• JavaScript: js-quantities
• Haskell: units, dimensional, haskell-unittyped
• C++: Boost Units
• Haskell Type checker plugin for UoM: uom-plugin, Talk at ICFP

Software errors caused by units mismatches:

• WP: Mars Climate Orbiter

Humor

• New Cuyama Road Sign
• Snowmass Village Road Sign
• Trial and error dimensional analysis
• WP: List of humorous units of measurement