Parametricity as Isomorphism (1993)

Cached

Download Links

by Edmund Robinson , Edmund Robinson
Venue:Theoretical Computer Science
Citations:1 - 1 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
1 Encodings In Polymorphism, revisited – Yuxi Fu, Yuxi Fu - 1992
10 Using synthetic domain theory to prove operational properties of a polymorphic programming language based on strictness – Alex Simpson
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
1 Categorical Properties of Logical Frameworks – Yuxi Fu, Yuxi Fu - 1993
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
Impredicative Representations of Categorical Datatypes – Thorsten Altenkirch - 1994
88 Categorical Logic – Andrew M. Pitts - 1995
2 Linear L"auchli semantics – R. F. Blute, P. J. Scott - 1996
10 Parametric and Type-Dependent Polymorphism – Giuseppe Longo - 1995
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
18 Reflexive Graphs and Parametric Polymorphism – G. Rosolini - 1993
11 Parametricity as a Notion of Uniformity in Reflexive Graphs – Brian Patrick Dunphy - 2002
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
1 Variations on Realizability: Realizing the Propositional Axiom of Choice – J. M. E. Hyland - 2000
3 Relational parametricity for control considered as a computational effect – Rasmus Ejlers Møgelberg, Alex Simpson
1 Relational Limits in General Polymorphism – Ryu Hasegawa, Ryu Hasegawa - 1993