Commentary by cpressey on Compiler Construction works

Compilers: Principles, Techniques, and Tools (1st Ed.)

a.k.a "The Dragon Book". The classic, borderline-incomprehensible book on compiler construction.

Compilers and Compiler Generators

.

The essence of compiling with continuations

This is the paper that introduces "A-normal form".

This paper can sometimes be found attached to a newer paper which is a retrospective on the original paper.

An Introduction to Operational Semantics

Actually a book chapter. future-topics: Formal Semantics

How to compile with continuations

.

Example assembly/machine instruction from lambda calculus

The top-rated answer by Colin James is much better than the accepted answer. Colin James also wrote an article, Compiling Lambda Calculus, to expand upon this answer, but I think the answer is more illuminating - the article goes into more concrete details in OCaml and is not quite complete (as of this writing, the promised endnotes are missing.)

radian-software/kalyn: self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.

.

natefaubion/example-functional-compiler

.

namin/inc: an incremental approach to compiler construction

.

bollu/tiny-optimising-compiler: A tiny optimising compiler for an imperative programming language written in haskell

.