cs/pl-theory.
- 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