Schedule for Spring 1998

• Reading for Jan 20
• Chapter 13 in [AbaCar 96]: Assaf will make a presentation of System F on which is based the material of Chapter 13. Material will also be drawn from other sources, in particular, Chapters 9 and 10 in [Mit 97].
• Reading for Jan 26
• Chapter 13 in [AbaCar 96]: Assaf will continue with background information on System F, with additional examples. Time permitting, Santiago will make a presentation based on Sections 13.3, 13.4 and 13.5.
• Reading for Feb 2
• Chapter 13 and Chapter 15 in [AbaCar 96]: Santiago will finish his presentation of Sections 13.3, 13.4 and 13.5. Ian and Santiago will make a presentation of Chapter 15.
• Reading for Feb 9
• Ian completes Chapter 15 in [AbaCar 96]. Elena will continue with Chapter 10.
• Preview for forthcoming weeks: The focus of will remain the book [AbaCar 96]. We will cover the remaining chapters (Chapters 10, 11 and 16) that are necessary background for an informed discussion of Chapter 18.
• No meeting on Feb 16
• Reading for Feb 23
• Elena continues with Chapter 10, and on to Chapter 11 in [AbaCar 96], with help from Assaf.
• Reading for March 2
• Jisook, Elena and Assaf take turns to make a presentation based on Chapter 16 in [AbaCar 96].
• No meeting on March 9
• Reading for March 16
• Jisook, Elena and Assaf complete the presentation of Chapter 16 in [AbaCar 96].
• No meeting on March 23
• Reading for March 30
• Santiago makes a presentation of "Obliq" based on the imperative calculus of Chapter 10 in [AbaCar 96].
• No meeting on April 6