Course materials

Martín Abadi, Luca Cardelli: A Theory of Objects (a copy of the book provided by the Authors for every participant)
Fritz Henglein: Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time (coauthors: Dirk Dussart, Christian Mossin); Formally optimal boxing (coauthor: Jesper Joergensen); Global Tagging Optimization by Type Inference
Jens Palsberg: Efficient Interference of Object Types; A Type System Equivalent to Flow Analysis (coauthor: Patrick O'Keefe)
John Reynolds: The Essence of Algol; Design of the Programming Language Forsythe; Polymorphism (unavailable via www because of copyright limitations); On Functors Expressible in the Polymorphic Typed Lambda Calculus (coauthor: Gordon D. Plotkin); Syntactic Control of Interference; Syntactic Control of Interference. Part 2; From Algol to Polymorphic Linear Lambda-calculus (coauthor: Peter W. O'Hearn)
Andrzej Tarlecki: Lecture notes for ACM Summer School in Sobótka
Jerzy Tiuryn: A Sequent Calculus for Subtyping Polymorphic Types
Pawel Urzyczyn: Lecture notes for ACM Summer School in Sobótka
Other materials: Booklet containing timetable and list of participants; Poster of the school (a little bit outdated)

If you have any questions please send an e-mail to school@tcs.uni.wroc.pl