A static semantics for Haskell (0)

by K-F Faxén
Venue:Journal of Functional Programming