An introduction to semantics, models, design, and implementation of programming languages. Topics include operational and denotational semantics, type systems, parameter passing, higher-order functions, dynamic vs. lexical scope, lambda calculus, laziness, exceptions, side effects, continuations, objects, and modules. The programming environment is Coq.

Prerequisite: Computer Science 121. Students must have excellent programming skills and be comfortable with basic mathematical ideas and notations.

Lectures:	Maxwell Dworkin G-135, MWF 11:00-12:00
Instructor:	Greg Morrisett
	greg at eecs.harvard.edu
	Office Hours: by appointment, MD 327
TF:	Jean Yang
	jyang at eecs.harvard.edu
	Office Hours: Tuesday 4-6, Maxwell Dworkin 2nd floor lounge
Admin. Assistant:	Phyllis Gorman
	pgorman at deas.harvard.edu
	Office: MD 143
Discussion Group:	http://groups.google.com/group/cs152-s08