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. Version suitable for printing.
• Introduction to Programming Using SML.
  Michael R. Hansen and Hans Rischel.
  Addison Wesley, 1999. ISBN 0-201-39820-6

[ Home | Schedule | Assignments | Software | Resources ]

fp@cs
Frank Pfenning