15-312 Foundations of Programming Languages
Resources

Supplementary Readings

Foundations of Programming Languages

• Types and Programming Languages.
  Benjamin C. Pierce.
  The MIT Press, 2002. ISBN 0-262-16209-1.

Programming with Standard ML

• Programming in Standard ML.
  Robert W. Harper.
  Unpublished notes, 2001; updated 2004.
  Version suitable for printing.
• Introduction to Programming Using SML.
  Michael R. Hansen and Hans Rischel.
  Addison-Wesley, 1999. ISBN 0-201-39820-6.

Links

• The types mailing list.

[ Home | Schedule | Assignments | Software | Resources ]

crary@cs.cmu.edu
Karl Crary