Formal Semantics of Type and Module Systems

RISC-Linz logo

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.


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)


On Understanding Types, Data Abstraction, and Polymorphism (PostScript)
A presentation of the landmark paper by Cardelli and Wegner.

Student Presentations

Gabor Kusper.
Karoly Bosa.
Burkhard Zimmermann.
Igor Rents.

Maintainer: Wolfgang Schreiner
Last Modification: July 19, 2000

[Up] [RISC-Linz] [University] [Search]