On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) (1993)

by Andrew Pitts , Ian Stark
Venue:IN MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PROC. 18TH INT. SYMP
Citations:119 - 13 self

Active Bibliography

39 Categorical Models for Local Names – Ian Stark - 1996
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
8 Abstract Models of Storage – Robert D. Tennent, Dan R. Ghica - 2000
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
34 Compilation and Equivalence of Imperative Objects – Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen - 1998
4 A First Order Logic of Effects – Ian A. Mason - 1996
13 Logical reasoning for higher-order functions with local state – Nobuko Yoshida, Kohei Honda, Martin Berger
A Fully Game Semantics for General References – Samson Abramsky, Kohei Honda, Guy Mccusker - 1998
11 Parametricity as a Notion of Uniformity in Reflexive Graphs – Brian Patrick Dunphy - 2002
15 Relational Properties of Recursively Defined Domains – Andrew M. Pitts - 1993
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
16 Objects, Interference, and the Yoneda Embedding – Peter W. O'Hearn, Uday S. Reddy - 1995
Proc. International Symp. on Math. Foundations of Comp. – Sci Lncs, Ps A. Pitts, J. C. Van Vliet
11 Passivity and independence – Uday S. Reddy - 1994
32 Reasoning about local variables with operationally-based logical relations – Andrew M. Pitts - 1996
5 Semantics of Dynamic Variables in Algol-like Languages – Dan R. Ghica - 1997
Appendix A. Typing Rules 49 – N. Yoshida, K. Honda, M. Berger