Semantics of Local Variables (1992)

Cached

Download Links

by P.W. O'Hearn , R. D. Tennent
Citations:35 - 4 self

Documents Related by Co-Citation

99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
44 A Category-Theoretic Approach to the Semantics of Programming Languages – F J Oles - 1982
161 The essence of Algol – J C Reynolds - 1981
730 Notions of Computation and Monads – Eugenio Moggi - 1991
26 Trakhtenbrot, The semantics of local storage, or what makes the free-list free – J Y Halpern, A R Meyer, B A - 1984
131 On the syntactic control of interference – J Reynolds - 1978
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
29 References, Local Variables and Operational Reasoning – Ian A. Mason, Carolyn L. Talcott - 1992
163 An abstract view of programming languages – E Moggi - 1989
39 Categorical Models for Local Names – Ian Stark - 1996
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
48 Idealized Algol and its specification logic – J C Reynolds - 1982
122 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
55 From Algol to Polymorphic Linear Lambda-calculus – Peter W. O'Hearn, John C. Reynolds - 1997
19 A Model for Syntactic Control of Interference – P. W. O'Hearn - 1993
471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981