PL
PL theory
- Crash Course on Notation in Programming Languages
- Structural Induction in Programming Language Semantics
Concurrency
- Getting Rid of State Machines
- Notes on structured concurrency, or: Go statement considered harmful
- Fear and Loathing in Lock-Free Programming