DRAFT CS254 SYLLABUS			Feb 1, 1999

Text: Foundations of Programming Languages
      John C. Mitchell
      MIT Press 1996

Meeting
Date	Reading Due.

2/5	Introductory Meeting.  Basics.
2/12	pp 1-67		Background + PCF Syntax
2/19	pp 67-144	PCF Semantics and Variants
2/26	pp 145-203	Universal Typed Algebra
3/5	pp 203-257	Rewrite Systems, Lambda
			Calculus Syntax and Typing
3/12	pp 257-333	Lambda Calculus Semantics,
			Domain Theoretic Models
3/19	pp 333-385	More Lambda Calculus Models
3/26	pp 387-444	Imperative Programs
4/2	Spring Recess
4/9	pp 445-505	Categories
4/16	pp 505-573	Recursive Type Domain Models,
			Logical Relations
4/23	pp 573-638	More Logical Relations,
			Polymorphism
4/30	pp 639-701	More Polymorphism and Modules
5/7	pp 703-763	SubTyping
5/14	pp 765-815	Type Inference