Higer Tiger compiler written in haskell Implemented parts Lexer Parser Type checker Escape analysis IR generation IR optimizations Assembly language code generation