Commentary by Chris Pressey

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations.

Compiler Construction

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

• rating: classic

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

Compilers and Compiler Generators

• rating: 2

.

The essence of compiling with continuations

• rating: 3

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

• rating: 2

Actually a book chapter. future-topics: Formal Semantics

How to compile with continuations

• rating: 2

.

Example assembly/machine instruction from lambda calculus

• rating: 2

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.

• rating: 1

.

natefaubion/example-functional-compiler

• rating: 1

.

namin/inc: an incremental approach to compiler construction

• rating: 1

.

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

• rating: 1

.