|
18
|
Hiding local state in direct style: a higher-order anti-frame rule
– F Pottier
- 2008
|
|
11
|
A Semantic Foundation for Hidden State
– Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
|
|
582
|
Separation Logic: A Logic for Shared Mutable Data Structures
– John Reynolds
- 2002
|
|
15
|
Step-indexed Kripke models over recursive worlds
– Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
- 2011
|
|
22
|
The impact of higher-order state and control effects on local relational reasoning (Technical appendix
– Derek Dreyer, Georg Neis, Lars Birkedal
- 2010
|
|
49
|
Semantics of separation-logic typing and higher-order frame rules
– Lars Birkedal, Noah Torp-smith
- 2005
|
|
580
|
Types and Programming Languages
– B C Pierce
- 2002
|
|
18
|
Nested Hoare triples and frame rules for higher-order store
– Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
- 2009
|
|
14
|
A Relational Modal Logic for Higher-Order Stateful ADTs
– Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
|
|
9
|
The essence of monotonic state
– Alexandre Pilkiewicz, François Pottier
- 2009
|
|
44
|
Semantics of Types for Mutable State
– Amal Jamil Ahmed
- 2004
|
|
16
|
Realizability semantics of parametric polymorphism, general references, and recursive types
– Lars Birkedal, Kristian Støvring, Jacob Thamsborg
- 2009
|
|
16
|
The Category-Theoretic Solution of Recursive Metric-Space Equations
– Lars Birkedal, Kristian Støvring, Jacob Thamsborg
- 2009
|
|
50
|
G.: Separation logic, abstraction and inheritance
– M Parkinson, Bierman
|
|
9
|
Generalizing the higher-order frame and anti-frame rules. Unpublished
– François Pottier
- 2009
|
|
32
|
A very modal model of a modern, major, general type system
– A W Appel, P-A Melliès, C D Richards, J Vouillon
- 2007
|
|
44
|
State-dependent representation independence
– Amal Ahmed, Derek Dreyer, Andreas Rossberg
- 2009
|
|
13
|
Separation logic for higher-order store
– Bernhard Reus, Jan Schwinghammer
- 2006
|
|
101
|
Operational Reasoning for Functions With Local State
– Andrew Pitts, Ian Stark
|
