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
  • Supplementary Readings

  • Jeffrey D. Ullman, Elements of ML Programming, Prentice-Hall, 1994
  • Chris Reade, Elements of Functional Programming, Addison-Wesley
  • Robert Harper, Introduction to Standard ML
  • ATTENTION: The programs described in the supplementary readings rely on an older specification of SML. They might not work as such in the MLWorks programming environment.

    [ CS 15-212 Home page | schedule | assignments | handouts ]

    Carsten Schuermann (carsten@cs.cmu.edu)
    Iliano Cervesato (iliano@cs.cmu.edu)