13:07

Small-step operational semantics (An introduction)

18:20

An introduction to denotational semantics

15:50

Big-step operational semantics (An introduction)

35:05

Abstract interpretation

39:22

Higher order functions in Haskell

8:41

Tree-based abstract syntax

15:29

Internal DSL style

22:59

The Dome Paradox: A Loophole in Newton's Laws