Formal Semantics of Type and Module Systems

Wolfgang Schreiner

326.517, SS 2000 (Start: March 9)
Thursday 10:30-12:00, Hagenberg

The course has been shifted to Hagenberg, 10:30-12:00. Please contact me, if this is a problem to you!

In this course, we discuss and formally model the type and module systems of modern programming languages.

• We present a formalization of abstract data types, modules, and polymorphism as they can be found in languages such as Modula-2, Ada, or SML (also with some relevance to C++ templates).
• We present the theory of objects introduced by Abadi and Cardelli to model the type systems of object-oriented languages such as Java, C++, or Eiffel, i.e., classes, subtyping, inheritance, etc.

Literature

Luca Cardelli and Peter Wegner

On Understanding Types, Data Abstraction, and Polymorphism, Computing Surveys, Volume 17, Number 4, pp. 471-522, December 1985.

Luca Cardelli

Type systems, pages 2208-2236. CRC Press, 1997.
(local copy)

Abadi, Martin and Cardelli, Luca

A Theory of Objects, Springer Monographs in Computer Science, 1996.

Martin Abadi

Baby Modula-3 and a Theory of Objects, Journal of Functional Programming, 4(2):249-283, April 1994.
(local copy)

Slides

On Understanding Types, Data Abstraction, and Polymorphism (PostScript)

A presentation of the landmark paper by Cardelli and Wegner.

Student Presentations

Ada

Gabor Kusper.

C++

Karoly Bosa.

Haskell

Burkhard Zimmermann.

SML

Igor Rents.