Semantics of Local Variables (1992)

Cached

Download Links

by P.W. O'Hearn , R. D. Tennent
Citations:36 - 5 self

Documents Related by Co-Citation

98 Towards fully abstract semantics for local variables: Preliminary report – A R Meyer, K Sieber - 1988
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
161 The essence of Algol – John C Reynolds - 1981
44 A Category-Theoretic Approach to the Semantics of Programming Languages – F J Oles - 1982
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
132 Syntactic Control of Interference – J C Reynolds - 1978