• Jan 14, 2021 -- Crafting Semantics 2: Basic Features
• Jan 06, 2021 -- Crafting Semantics 1: Lambda Calculus
• Jan 05, 2021 -- Crafting Semantics 0: Introduction
• Nov 30, 2020 -- Continuations as First Class Return
• Nov 09, 2020 -- Abstract Machines: Interpreters for Computer Scientists