Active Bibliography

7 The marriage of bisimulations and Kripke logical relations – Chung-kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis - 2012
15 Logical Step-Indexed Logical Relations – Derek Dreyer, Amal Ahmed, Lars Birkedal
20 A Relational Modal Logic for Higher-Order Stateful ADTs – Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
19 Step-indexed Kripke models over recursive worlds – Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang - 2011
1 A Bisimulation-Like Proof Method for Contextual Properties in Untyped λ-Calculus with References and Deallocation – Eijiro Sumii - 2008
6 Superficially Substructural Types – Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
9 A Kripke Logical Relation Between ML and Assembly – Chung-kil Hur, Derek Dreyer
A Co-Inductive Proof Method for Contextual Properties in Untyped λ-Calculus with References and Deallocation ✩ – Eijiro Sumii
12 Non-parametric Parametricity – Georg Neis, Derek Dreyer, Andreas Rossberg - 2010
4 From Applicative to Environmental Bisimulation – Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii - 2011
16 A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References – Eijiro Sumii - 2009
Representation Independence, State Based Ownership, and Reentrancy – Anindya Banerjee, David A. Naumann - 2011
1 State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings – Anindya Banerjee, David A. Naumann
Parametric Bisimulations: A Logical Step Forward – Chung-kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis
Limitations of Applicative Bisimulation – Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
2 A Relational Realizability Model for Higher-order Stateful ADTs – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2010
47 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005
63 State-dependent representation independence – Amal Ahmed, Derek Dreyer, Andreas Rossberg - 2009
35 Environmental bisimulations for higher-order languages – Davide Sangiorgi - 2007