Experience report: type-checking polymorphic units for astrophysics research in Haskell.

Takayuki Muranushi, Richard A. Eisenberg

Browse the full HASKELL paper archive.