Active Bibliography

Formal Parametric Polymorphism – Martn Abadi Luca, Luca Cardelli, Pierre-louis Curien - 1993
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
11 Parametricity as a Notion of Uniformity in Reflexive Graphs – Brian Patrick Dunphy - 2002
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
10 Parametric and Type-Dependent Polymorphism – Giuseppe Longo - 1995
12 Subtyping and Parametricity – Gordon Plotkin, Luca Cardelli - 1993
12 A Simple Proof Technique for Certain Parametricity Results – Karl Crary - 1998
Logic Column 6 – Column Editor Jon, Jon G. Riecke, Peter W. O'hearn
11 A Characterization Of Lambda Definability In Categorical Models Of Implicit Polymorphism – Moez Alimohamed - 1995
18 Reflexive Graphs and Parametric Polymorphism – G. Rosolini - 1993
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
7 Parametricity as Subtyping – Qingming Ma - 1992
On Extensions of. . . : Second-Order Lambda-Calculus with Subtyping – Daisuke Suzuki - 1994
Subtyping Parametric and Dependent Types -- An introduction – Gang Chen, Giuseppe Longo - 1996
1 Subtyping Parametric and Dependent Types – Gang Chen, Giuseppe Longo - 1996
4 Relational Parametricity for Higher Kinds – Robert Atkey
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991