G269 S '09
Readings

CS G 269: Practical Tools for Working Semanticists

logo

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.


last updated on Wed Jul 8 02:27:43 EDT 2009generated with PLT Scheme