Abschnittsübersicht


  • 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
    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)