State-dependent representation independence (2009)

by Amal Ahmed , Derek Dreyer , Andreas Rossberg
Venue:In Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:64 - 19 self

Active Bibliography

19 A Relational Modal Logic for Higher-Order Stateful ADTs – Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
1 State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings – Anindya Banerjee, David A. Naumann
13 Non-parametric Parametricity – Georg Neis, Derek Dreyer, Andreas Rossberg - 2010
36 Environmental bisimulations for higher-order languages – Davide Sangiorgi - 2007
Logical Bisimulations and Functional Languages ⋆ – Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
16 A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References – Eijiro Sumii - 2009
11 Relational parametricity for references and recursive types – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2009
7 The marriage of bisimulations and Kripke logical relations – Chung-kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis - 2012
46 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005