|
38
|
Categorical Models for Local Names
– Ian Stark
- 1996
|
|
45
|
A Variable Typed Logic of Effects
– Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott
- 1993
|
|
7
|
Abstract Models of Storage
– Robert D. Tennent, Dan R. Ghica
- 2000
|
|
6
|
Names, Equations, Relations: Practical Ways to Reason about new
– Ian Stark, Ian Stark
- 1996
|
|
27
|
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
|
|
|
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
|
|
17
|
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
|
|
33
|
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
|
|
53
|
From Algol to Polymorphic Linear Lambda-calculus
– Peter W. O'Hearn, Queen Mary, John C. Reynolds
- 1997
|
|
10
|
Logical reasoning for higher-order functions with local state
– Nobuko Yoshida, Kohei Honda, Martin Berger, Queen Mary
- 2006
|
