|
155
|
The essence of Algol
– J C Reynolds
- 1981
|
|
102
|
Parametricity and Local Variables
– P. W. O'hearn, R. D. Tennent
- 1995
|
|
332
|
Types, abstraction and parametric polymorphism
– J C Reynolds
- 1983
|
|
44
|
A Category-Theoretic Approach to the Semantics of Programming Languages
– F J Oles
- 1982
|
|
96
|
Towards fully abstract semantics for local variables
– A R Meyer, K Sieber
- 1988
|
|
237
|
Local Reasoning about Programs that Alter Data Structures
– Peter O'Hearn, John Reynolds, Hongseok Yang
- 2001
|
|
101
|
Intuitionistic Reasoning about Shared Mutable Data Structure
– John C. Reynolds
- 2000
|
|
148
|
as an assertion language for mutable data structures
– BI
- 2001
|
|
157
|
Alias Types
– Frederick Smith, David Walker, Greg Morrisett
- 1999
|
|
50
|
Names and Higher-Order Functions
– I D B Stark
- 1994
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
346
|
Enforcing High-Level Protocols in Low-Level Software
– Robert DeLine, Manuel Fahndrich
- 2001
|
|
582
|
Separation Logic: A Logic for Shared Mutable Data Structures
– John Reynolds
- 2002
|
|
128
|
Alias Types for Recursive Data Structures
– David Walker, Greg Morrisett
- 2000
|
|
23
|
R.D.: Algol-like Languages (Two volumes
– P W O’Hearn, Tennent
- 1997
|
|
172
|
The Logic of Bunched Implications
– Peter W. O'Hearn, David J. Pym
- 1999
|
|
92
|
Relational Properties of Domains
– Andrew M. Pitts
- 1996
|
|
127
|
Syntactic Control of Interference
– J C Reynolds
- 1978
|
|
120
|
types can change the world
– Linear
- 1990
|
