Here are books you may be interested in if you want to go into much
more depth on some of the class material. None of these is required
for the class. I would recommend the ones in bold; I own them
myself and I have found them to be useful. If you buy just one of these,
I would recommend Pierce most highly (with the Huth and Ryan text a
close second, but they are on unrelated material).
- Aho, Sethi, Ullman, Compilers: Principles, Techniques,
- Appel, Compiling
- Barendregt, Lambda Calculi with Types (web download).
- Clarke, Grumberg, and Peled, Model
- Gries, The
Science of Programming.
- Hankin, Lambda Calculi: A Guide for Computer Scientists. (Out of print, but available at the library.)
- Huth and Ryan, Logic in
Computer Science: Modelling and Reasoning about Systems
- Mitchell, Foundations
for Programming Languages.
- Muchnick, Advanced
Compiler Design and Implementation.
- Nielson and Nielson, Semantics
with Applications: A Formal Introduction (web download).
- Nielson, Nielson, and Hankin, Principles of Program
- Pierce, Types
and Programming Languages.
- Winskel, The Formal Semantics of Programming Languages.
(Available at the library.)