Review

Prior to OPLSS, Paul Downen (University of Oregon) will conduct a review of type systems. This material can be found in Chapters 1-12, 23 and 24 from TAPL as well as Chapters 4-8, 10-11,16-17 from PFPL. This three-day session is separate from the OPLSS main program. The topics covered are:

Date Topics June 23 Lambda Calculus

Products and Sums

Operational semantics June 24 Proof of Progress

Proof of Preservation

Recursive Types

Polymorphism June 25 Encodings

Parametricity

Main Program

The program consists of thirty-seven 80-minute lectures presented by internationally recognized leaders in programming languages and formal reasoning research. Most days, there is also a 80 minute hands-on session for participants to work through examples given in lecture.

Preparation