Required Reading:

Felleisen, Findler, Flatt Semantics Engineering MIT Press, 2009

A draft of the book will be available via Copying Services.