Higer Tiger compiler written in haskell Implemented parts Lexer Parser Type checker Escape analysis IR generation IR optimizations AMD64 Instruction selection Liveness analysis Assembly language code generation Language runtime