A book on programming languages, using Haskell - View it on GitHub