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,
}











