cs/pl-theory.
- de Bruijn Numerals
- Language Design
- Trait-Constrained Enums in Rust
- The Impossible Optimization, and the Metaprogramming To Achieve It
- On Programming Languages as Languages
- A Fast Bytecode VM for Arithmetic: The Virtual Machine
- Arrows to Arrows, Categories to Queries
- What is Algebraic about Algebraic Effects?
- Typechecker Zoo
- Build Your Own Lisp Learn C and build your own programming language in 1000 lines of code!
- Linear types for programmers
- What Declarative Languages Are
- Implementing a Functional Language with Graph Reduction
- Programming Language Theory has a public relations problem
- What is cosh(List(Bool))? Or beyond algebra: analysis of data types.
- Access Control Syntax
- Why Algebraic Effects
- An epic treatise on error models for systems programming languages
- Flattening ASTs (and Other Compiler Data Structures)
- The magic of metalinguistic programming 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?
- Terms, types, and functions
- Classic Papers in Programming Languages and Logic
- An Incremental Approach to Compiler Construction
- Programming languages resources | Max Bernstein
- What’s in an e-graph? | Max Bernstein
- Chapter 0 Preface — Programming Languages
- Alpha Conversion | Kevin Sookocheff
- glouw/c8c: The chip8 compiler, assembler, and virtual machine
- Introduction to the λ-calculus
- bytecode interpreters for tiny computers ⁑ Dercuano