Documents Related by Co-Citation

23 Hiding local state in direct style: a higher-order anti-frame rule – F Pottier - 2008
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
721 Types and programming languages – Benjamin C Pierce - 2002
15 A Semantic Foundation for Hidden State – Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
58 Semantics of separation-logic typing and higher-order frame rules – Lars Birkedal, Noah Torp-smith - 2005
18 Step-indexed Kripke models over recursive worlds – Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang - 2011
19 Realizability semantics of parametric polymorphism, general references, and recursive types – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2010
14 The essence of monotonic state – Alexandre Pilkiewicz, François Pottier - 2009
625 Light Linear Logic – Jean-yves Girard