CS 720: Advanced Programming Languages
Spring 1998
Study Material and Schedule
Textbook: Foundations for Programming Languages, by John
C. Mitchell, MIT Press, 1996.
Overview: We will attempt to cover various parts of the book
that were not covered in CS 520 in the Fall 1997 semester. This includes
material from Chapter 3 (Algebraic Data Types), the end of Chapter 4 (SimplyTyped
LambdaCalculus), the end of Chapter 5 (Models of SimplyTyped LambdaCalculus),
Chapter 7 (Categories), and Chapter 8 (Logical Relations).
Schedule: Material listed to be discussed on specified date.

Jan 28: All of Sections 3.1, 3.2 and 3.3. Start reading Section
3.4.

Feb 4: All of Sections 3.4 and 3.5.

Feb 11: Again Section 3.5 and all of Section 3.6.

Feb 18: All of Sections 3.7.1, 3.7.2, 3.7.3 and 3.7.4.

Feb 25: All of Sections 3.7.4 (again), 3.7.5, 3.7.6 and 3.7.7.

Mar 4: All of Section 4.4.

Mar 18: As much as you need of Section 4.5 to do the assigned exercises.

Mar 25: All of Sections 8.2.1, 8.2.2 and 8.2.3.

April 1: All of Sections 8.2.3, 8.2.4 and 8.2.5.

April 8: All of Sections 8.3.1, 8.3.2 and 8.3.3.
Assaf Kfoury
Created: 98.01.20
Modified: 98.04.03