Syllabus.
Textbook: John C. Mitchell. Concepts in Programming Languages. Cambridge University Press, 2003. ISBN: 0521780985.
Handout: