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.

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.

Maintainer: Wolfgang Schreiner
Last Modification: July 19, 2000

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