The Haskell Report and Haskell' standardization effort.
Typing rules for Haskell
GHC mirror of the haddock package