Go backward to Slides and Online Material
Go up to Top


David A. Schmidt. The Structure of Typed Programming Languages, MIT Press, Cambridge, MA, 1994.  
Luca Cardelli and Peter Wegner. On Understanding Types, Data Abstraction, and Polymorphism, Computing Surveys, Volume 17, Number 4, pp. 471-522, December 1985.

Id: types.tex,v 1.14 1996/06/13 14:10:50 schreine Exp schreine

Prev Up