15-212: Principles of Programming

Textbooks

Required

  • Michael R. Hansen and Hans Rischel, Introduction to Programming Using SML, Addison-Wesley, 1999.
    Copies are available in the CMU bookstore.
    Also, see the web page www.it.dtu.dk/introSML for corrections, etc.

  • Robert Harper, Programming in Standard ML, on-line notes, 1998.
  • Recent versions (2007) of Professor Harper's book are at:
  • online.pdf   (for browsing)
  • offline.pdf   (for printing)
    •

    • Supplementary Readings

  • Lawrence C. Paulson, ML for the Working Programmer, 2nd edition, Cambridge University Press, 1996
  • Jeffrey D. Ullman, Elements of ML Programming, Prentice-Hall, 1994
    •

    ATTENTION: The programs described in the supplementary readings rely on an older specification of SML. They might not work as such in the current SML/NJ programming environment.

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

    Michael Erdmann