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.


Assaf Kfoury Created:  98.01.20 Modified: 98.04.03