Go backward to Slides and Online Material
Go up to Top
References
- [1]
-
David A. Schmidt. The Structure of Typed Programming Languages, MIT
Press, Cambridge, MA, 1994.
- [2]
-
Luca Cardelli and Peter Wegner.
On Understanding Types, Data Abstraction, and Polymorphism,
Computing Surveys, Volume 17, Number 4, pp. 471-522, December 1985.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: types.tex,v 1.14 1996/06/13 14:10:50 schreine Exp schreine