Main Textbook: Chris Reade, Elements of Functional Programming, Addison-Wesley, 1989.
Other required books: J. Ullman, Elements of ML Programming (ML97 edition), Prentice-Hall, 1998.
Recommended books: Z. Manna, Mathematical Theory of Computation, Dover, 2003.
Class Hours: MWF 12:35pm--1:30pm