CS 611 Readings

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:

Some books on programming in ML may be useful to students who haven't used it:

For information about which readings are associated with each lecture, see the course schedule.