"Experience report: type-checking polymorphic units for astrophysics ..."

Takayuki Muranushi, Richard A. Eisenberg (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics