Go backward to Example
Go up to Top
References
- [1]
-
David A. Schmidt. The Structure of Typed Programming Languages,
MIT Press, Cambridge, MA, 1994.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction.tex,v 1.1 1996/03/05 08:55:21 schreine Exp schreine