There are two recommended texts for CS 611 this semester:
- Types and Programming Languages, by Benjamin Pierce
- The Formal Semantics of Programming Languages, by Glynn Winskel
These are not required, but they are excellent sources for the course, so purchasing them is a good
idea. In a pinch, many students
in the CS department will have this book, and they will also be
on reserve at the Engineering library.
Some other recommended texts which will be used for some readings are:
- Programming Languages: Theory and Practice, by Robert Harper
(online draft)
- Foundations for Programming Languages, by John Mitchell
- Semantics for Programming Languages, by Carl Gunter
Some books on programming in ML may be useful to students who haven't used it:
-
Programming in Standard ML,
by Robert Harper (online draft)
-
Notes on Programming SML/NJ,
by Riccardo Pucella (link)
-
The Little MLer, Matthias Felleisen and Daniel P. Friedman, MIT Press, 1998. ISBN 0 262 56114 X
-
ML for the Working Programmer, L. C. Paulson, 2nd ed., Cambridge Univ. Press, 2000. ISBN 0 521 56543 X
-
Elements of ML Programming, ML97 Edition, Jeffrey D. Ullman, Prentice Hall, 1998. ISBN 0 13 790387 1
For information about which readings are associated with each lecture,
see the course schedule.
