A static semantics for Haskell (draft (1992)

by S L Peyton Jones, P Wadler