CS G 269: Practical Tools for Working Semanticists

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.