Required Texts

The main text for the course will be:

Gunter, C. Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.

Recommended Texts

LaTeX is the typesetting tool of discerning semanticists, so you'll need some LateX reference materials. The primary LaTeX books on my bookshelf are:

There are many good books on semantics. Here are a few, in alphabetical order. Some are out of print, but some of those are available online. If anybody finds online copies of any of these, please let me know and I'll add them to the list.

Last modified: Thu Aug 28 15:26:39 EDT 2008