- Glynn Winskel
-
The Formal Semantics of Programming Languages --
An Introduction, Foundations of Computing Series, MIT Press,
Cambridge, MA, 1994.
- David A. Schmidt
-
Denotational Semantics -- A Methodology for
Language Development, Allyn and Bacon, Boston, MA, 1986.
- David A. Schmidt
- The Structure of Typed Programming Languages,
Foundations of Computing Series, MIT Press,
Cambridge, MA, 1994.
|
Last modified: Wednesday, 8 September 2004, 04:19 PM