Programming Languages: Build, Prove, and Compare

Fashions in programming languages change continually. But the best way to stay up to date is not to study the latest fashion; it’s to master the timeless ideas that underlie all languages, even the most complicated.

This is the web site for Programming Languages: Build, Prove, and Compare: a text that distills timeless languages and their design ideas into easy-to-learn “bridge” languages implemented by interpreters whose key parts are explained in the text.

https://www.build-prove-compare.net/