Adam Gundry
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell
Haskell, 2015.
@inproceedings{Haskell-2015-Gundry, author = "Adam Gundry", booktitle = "{Proceedings of the Eighth International Symposium on Haskell}", doi = "10.1145/2804302.2804305", isbn = "978-1-4503-3808-0", pages = "11--22", publisher = "{ACM}", title = "{A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell}", year = 2015, }