There are two required texts for CS 611 this semester:
- Types and Programming Languages,
by Benjamin Pierce.
- The Formal Semantics of Programming Languages, by Glynn Winskel.
You are expected to have access to these books, so purchasing them is a good
idea. In a pinch, many students
in the CS department will have this book; they should 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.