As our required text for CS 611 this semester we will use Types and Programming Languages,
by Benjamin Pierce. This book is also on reserve at the Engineering Library in Carpenter Hall.
Some other recommended texts which will be used for some readings are:
- The Formal Semantics of Programming Languages, by Glynn Winskel. Many students
in the CS department will have this book; it is also on reserve at the Engineering
library.
- 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.