Website | Source | Book | Ueber
Topics from the book are supported by focused and compact presentations with slides an YouTube videos as listed below. The videos are typically less than 20 mins long. Experienced lecturers will be able to use the underlying slides for an extended presentation.
| Topic | Slides | Video |
|---|---|---|
| Internal DSL style | YouTube (15 mins) | |
| External DSL style | YouTube (16 mins) | |
| Program generation with template processing | YouTube (11 mins) | |
| Tree-based abstract syntax | YouTube (9 mins) | |
| Interpretation | YouTube (18 mins) | |
| Big-step operational semantics | YouTube (16 mins) | |
| Small-step operational semantics | YouTube (13 mins) | |
| Type systems | YouTube (17 mins) | |
| Denotational semantics | YouTube (18 mins) | |
| The lambda calculus | YouTube (18 mins) | |
| System F and type extensions | YouTube (34 mins) | |
| Abstract interpretation | YouTube (35 mins) | |
| Compilation | N/A | |
| Parsing | N/A | |
| Term rewriting | N/A |
| Topic | Slides | Video |
|---|---|---|
| What’s software language engineering? | N/A | |
| An introduction to programming language theory | N/A | |
| An interpreter for every season | N/A | |
| Meta-programming options for DSL implementation | YouTube (45 mins) |
Last modified 12 December 2025