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