12 October - 18 October

Sub-Seminar "Type Systems"
A couple of MSc students expressed the wish to learn more on type systems (with focus on object-oriented languages). For these, a sub-seminar will take place where

• Wolfgang Schreiner (WS) will present some introductory material, and
• each student will receive some material in order to
• work out a slide-based presentation,
• give this presentation,
• and elaborate a small exercise.

with WS presenting material from

• David Schmidt: The Structure of Typed Programming Languages
• Cardelli, Wegner: On Understanding Types, Data Structures, and Polymorphism
• Luca Cardelli: Type Systems
• Luca Cardelli: A Theory of Objects
  

The student presentations/exercises will be based on the book of Schmidt.

Topics:

• Abstraction Principle: Taimoor (November 16)
  
• Parametrization: TK (November 30)
  
• Qualification: RM (December 14)
  
• Records/Lambda Abstraction: AC (January 11)
  
• Propositional Logic Types: FS (January 25)