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 (Simply-Typed
Lambda-Calculus), the end of Chapter 5 (Models of Simply-Typed Lambda-Calculus),
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