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, 2000.
  • Robert Harper, Programming in Standard ML, pdf book 2011.
    •

    Supplementary Readings

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

    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