Recommended and Required 1358 Readings
The course is the creation of the instructor. It presents material from
many different research articles and books. The following books present
alternative viewpoints and are recommended for those who wish to understand
the material in more depth.
The book closest to the course is the second edition of
For the coverage of type systems, we will study basic ML.
The following book is recommended as an introduction to designing
programming via types (210) in an expressively typed language:
Here are two commendable alternatives to Friedman et al:
If you don't recall how to design and organize programs, take a look at
Documentation on DrScheme environment (language, library, gui
toolbok) is available via DrScheme's Help Desk.