The goal of this seminar-course is an in-depth introduction to reduction semantics (as opposed to small step or big step semantics). The course will cover its theoretical foundations, practical tricks for formulating a reduction semantics, and the use of PLT Redex for experimenting with prototypes.

The course assumes some exposure to semantics and a thorough understanding of interpreters.

Due to the expected diversity of backgrounds, students may end up working on their own or in small groups.