Bibliography Compilation

• Courses: Jay McCarthy's, William Bowman's
• Nanopass compilers, and this example or that one, this course with video lectures
• Urlang, compiling from SEXP syntax with macros to JavaScript as a Racket #lang using a nanopass compiler.
• Not to be confused with Chlipala's Ur is a very different language, that supports metaprogramming using row types.
• Daniel Patterson on proving a compiler fully abstract
• Abstract Abstract Machines, Virtual Virtual Machines...
• Language Oriented Programming in Racket, a cultural anthropology
• GRIN: Graph Reduction Intermediate Notation
• David Fisher's Ziggurat for incremental compiler pass definition using prototype OO.

From Interpreter to Compiler

• Crafting Interpreters
• Futamura projections
• PyPy