Uday S. Reddy July 25, 1997 The issue of whether parametricity and naturality ...  Home/Search
Context
Related
| uiuc.edu/pub/faculty/...naturality.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu:8080/reddy (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: .79> R ? ? S A 0 f 0 - B 0 The terminology is motivated by the fact that edges R and S determine a relation [R ! S] ` hom(A;B) \Theta hom(A 0 ; B 0 ). We assume that all our reflexive graphs are relational. A reflexive graph is symmetric if it is equipped with a family of bijections (\Gamma) ` A;A 0 : edge(A; A 0 ) ¸ = edge(A 0 ; A) such that 1. (I A ) ` = I A , and 2. the left hand diagram is a parametricity square iff the right hand diagram is a parametricity square: A f - B 6 6 R ? ? S A 0 f ... (Update)
Active bibliography (related documents): More All
0.1: On Extensions of. . . : Second-Order Lambda-Calculus with Subtyping - Suzuki (1994) (Correct)
0.1: A Simple Proof Technique for Certain Parametricity Results - Crary (1998) (Correct)
0.1: Formal Parametric Polymorphism - Abadi, Cardelli, Curien (1993) (Correct)
Similar documents based on text: More All
0.7: Parametricity as Isomorphism - Robinson (1993) (Correct)
0.7: Parametricity and Local Variables - O'Hearn, Tennent (1995) (Correct)
0.6: From Algol to Polymorphic Linear Lambda-calculus - O'Hearn, Reynolds (1997) (Correct)
BibTeX entry: (Update)
@misc{ reddy-when,
author = "Uday Reddy",
title = "When Parametricity implies Naturality (Notes)",
url = "citeseer.ist.psu.edu/103543.html" }
Citations (may not include all citations):388 On understanding types (context) - Cardelli, Wegner - 1986
26 From Algol to polymorphic linear lambda-calculus - O'Hearn, Reynolds - 1997
21 Functorial polymorphism (context) - Bainbridge, Freyd et al. - 1990
7 Subtyping and parametricity - Plotkin, Abadi et al. - 1994
1 A model for formal parametric polymorphism: A PER interpreta.. (context) - Comput, -- et al. - 1995
1 Positive subtyping (context) - Surveys, Hoffman et al. - 1996
1 Parametricity and local variables (context) - manuscript, Westfield et al. - 1995
Documents on the same site (http://vesuvius.cs.uiuc.edu:8080/reddy.html): More
ICC++ - A C++ Dialect for High Performance Parallel.. - Chien, Reddy, Plevyak.. (1996) (Correct)
Type Reconstruction for SCI, Part 2 - Yang, Huang (1997) (Correct)
Imperative Lambda Calculus Revisited - Yang, Reddy (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC