Content

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
Dec 05, 2019 -- The Robson Tree Traversal (DRAFT)
Jan 02, 2019 -- Fancy Tree Traversals