cs/pl-theory.
- Flattening ASTs (and Other Compiler Data Structures)
- The magic of metalinguistic programming
- Compilers: Incrementally and Extensibly
- Crash Course on Notation in Programming Language Theory
- What implementation-independent test file formats exist for language tooling?
- How should I read type system notation?
- bytecode interpreters for tiny computers ⁑ Dercuano
- Introduction to the λ-calculus
- glouw/c8c: The chip8 compiler, assembler, and virtual machine
- Alpha Conversion | Kevin Sookocheff
- Chapter 0 Preface — Programming Languages
- What’s in an e-graph? | Max Bernstein
- Programming languages resources | Max Bernstein
- Classic Papers in Programming Languages and Logic
- Terms, types, and functions