Non-parametric Parametricity (2010)

by Georg Neis , Derek Dreyer , Andreas Rossberg
Venue:UNDER CONSIDERATION FOR PUBLICATION IN J. FUNCTIONAL PROGRAMMING
Citations:12 - 3 self

Active Bibliography

unknown title – unknown authors
Under consideration for publication in J. Functional Programming 1 – Non-parametric Parametricity, Georg Neis, Derek Dreyer, Andreas Rossberg - 2011
Reviewers – Georg Neis, Dr. Derek, Dreyer Eidesstattliche Erklärung - 2009
7 The marriage of bisimulations and Kripke logical relations – Chung-kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis - 2012
35 Environmental bisimulations for higher-order languages – Davide Sangiorgi - 2007
14 Parametric polymorphism through run-time sealing, or, theorems for low, low prices! – Jacob Matthews, Amal Ahmed - 2008
63 State-dependent representation independence – Amal Ahmed, Derek Dreyer, Andreas Rossberg - 2009
1 Principia Narcissus: How to Avoid Being Caught by Your Reflection – Geoffrey Washburn - 2007
20 A Relational Modal Logic for Higher-Order Stateful ADTs – Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
11 Relational parametricity for references and recursive types – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2009
32 The impact of higher-order state and control effects on local relational reasoning – Derek Dreyer, Georg Neis, Lars Birkedal - 2010
47 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005
15 Logical Step-Indexed Logical Relations – Derek Dreyer, Amal Ahmed, Lars Birkedal
2 A Relational Realizability Model for Higher-order Stateful ADTs – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2010
44 Dynamic Opacity for Abstract Types – Andreas Rossberg
8 Free theorems and runtime type representations – Dimitrios Vytiniotis, Stephanie Weirich - 2007
9 Type-Safe Distributed Programming for OCaml – John Billings , Peter Sewell, Mark Shinwell, Rok Strnisa - 2006
6 Superficially Substructural Types – Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
4 From Applicative to Environmental Bisimulation – Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii - 2011