Incollection,

Denotational Semantics for Languages with Modules

.
Formal Description of Programming Concepts~II, North-Holland, Amsterdam, (1983)

Meta data

Tags

Users

  • @dparigot

Comments and Reviews