Go backward to Summary (Semantics)
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: qualification.tex,v 1.2 1996/05/02 11:53:49 schreine Exp schreine