Tiger A compiler in Haskell for modern compiler implementation in ML. In many ways this implementation of the compiler differs drastically from the book.