Parametricity as a Notion of Uniformity in Reflexive Graphs (2002)

Cached

Download Links

by Brian Patrick Dunphy
Citations:11 - 3 self

Active Bibliography

29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
Logic Column 6 – Column Editor Jon, Jon G. Riecke, Peter W. O'hearn
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
8 Abstract Models of Storage – Robert D. Tennent, Dan R. Ghica - 2000
52 Syntactic Type Abstraction – Dan Grossman, Greg Morrisett, Steve Zdancewic - 2000
12 Subtyping and Parametricity – Gordon Plotkin, Luca Cardelli - 1993
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
13 A Relational Account of Call-by-Value Sequentiality – Anders B. Sandholm, Jon G. Riecke - 1999
33 On Bunched Typing – Peter O'Hearn - 2002
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001
23 Correctness of Data Representations involving Heap Data Structures – Uday S. Reddy, Hongseok Yang - 2003
18 An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement – Yoshiki Kinoshita, Peter W. O'hearn, A. John Power, Makoto Takeyama, Robert D. Tennent - 1997
326 Theorems for free! – Philip Wadler - 1989
Formal Parametric Polymorphism – Martn Abadi Luca, Luca Cardelli, Pierre-louis Curien - 1993
2 A higher-order simulation relation for System F – Jo Erskine Hannay - 2000
39 Categorical Models for Local Names – Ian Stark - 1996