#PLT

• Crafting Semantics 2: Basic Features

  2021-01-14

• Crafting Semantics 1: Lambda Calculus

  2021-01-06

• Crafting Semantics 0: Introduction

  2021-01-05

• Continuations as First Class Return

  2020-11-30

• Abstract Machines: Interpreters for Computer Scientists

  2020-11-09