still-compiling Parsing combinator: megaparsack manual parser (Hygienic) Macro system binding as sets of scopes Runtime Encoding & Middle passes closure conversion cps conversion, ref: http://churchturing.org/y/90-min-scc.pdf Optimization local value numbering register allocation low-level ANF liveness analysis