Redirecting..
http://en.wikibooks.org/wiki/Haskell/Denotational_semantics