CS 15-212: Fundamental Principles of Computer Science II

Textbooks

Required

Lawrence C. Paulson, ML for the Working Programmer, 2nd edition, Cambridge University Press, 1996.
Robert Harper, Programming in Standard ML, on-line notes, 1998.

Supplementary Readings

Jeffrey D. Ullman, Elements of ML Programming, Prentice-Hall, 1994
Chris Reade, Elements of Functional Programming, Addison-Wesley

ATTENTION: The programs described in the supplementary readings may rely on an older specification of SML. They might not work with most recent implementations as given.

Frank Pfenning

fp@cs