Reynolds, John C. (1983). Types, abstraction and parametric polymorphism. Pages 513-- 523 of: Mason, R. E. A. (ed), Information processing '83. Elsevier. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
From Control Effects to Typed Continuation Passing - Thielecke (2003) (1 citation) (Correct)
....hypothesis, since it is not even clear what naturality in ## is supposed to mean in a type like ( A from Example 3.5. What we need is some more general notion of being wellbehaved in ## that specializes to naturality whenever the e#ect can be masked. Relational parametricity [24, 28] provides such a notion. The property we are aiming for is, in essence, one of its basic instances, the Reynolds isomorphism = A (where # is not free in A) 4.1 Some basics on parametricity We recall some of the basics of parametricity [24] to prove what Wadler calls theorems for free ....
....e#ect can be masked. Relational parametricity [24, 28] provides such a notion. The property we are aiming for is, in essence, one of its basic instances, the Reynolds isomorphism = A (where # is not free in A) 4. 1 Some basics on parametricity We recall some of the basics of parametricity [24] to prove what Wadler calls theorems for free [28] equational properties that follow from the type of an expression. We follow Pitts [23] in working directly on the syntax. We write R : A A # if R is a relation between A and A # . Let R1 : A A # and R2 : B B # be relations. Then we ....
John C. Reynolds. Types, abstraction and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83, pages 513--523, Amsterdam, 1983. Elsevier Science Publishers B. V. (North-Holland).
A New Approach to Abstract Syntax with Variable Binding - Gabbay, Pitts (2001) (33 citations) (Correct)
.... mutually inductively de ned FMS sets Type = tyvar(T ) Fun(Type Type) all( T ]Type) Term = var(V ) app(Term Term) lam(Type [V ]Term) spec(Term Type) gen( T ]Term) 9 = 72) represent, respectively, the types and terms of the Girard Reynolds polymorphic lambda calculus [Gir72, Rey83] modulo renaming of bound type variables and bound term variables. The disjoint union inclusion functions have been named explicitly in (72) to indicate the intended meaning. 7. Related Work One origin of the work presented here lies in the calculus , a fragment of ML [MTHM97] introduced by ....
Reynolds, J. C.: Types, abstraction and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83. North-Holland, Amsterdam, 1983, pp. 513-523.
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) Self-citation (Reynolds) (Correct)
No context found.
J.C. Reynolds. Types, abstraction and parametric polymorphism. IFIP Proceedings, pp513-523, 1983.
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) Self-citation (Reynolds) (Correct)
No context found.
J.C. Reynolds. Types, abstraction and parametric polymorphism. IFIP Proceedings, pp513-523, 1983.
Staged Computation with Names and Necessity - Nanevski, Pfenning (2005) (Correct)
No context found.
Reynolds, John C. (1983). Types, abstraction and parametric polymorphism. Pages 513-- 523 of: Mason, R. E. A. (ed), Information processing '83. Elsevier.
TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005) (1 citation) (Correct)
No context found.
J. C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing 83, pages 513--523. Elsevier, 1983.
A Logic for Parametric Polymorphism - Plotkin, Abadi (1993) (47 citations) (Correct)
No context found.
John C. Reynolds. Types, abstraction and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83, pages 513--523, Amsterdam, 1983. Elsevier Science Publishers B. V. (North-Holland).
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (3 citations) (Correct)
No context found.
J. C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing '83, pages 513--523. North-Holland, 1983. Proceedings of the IFIP 9th World Computer Congress.
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (4 citations) (Correct)
No context found.
John C. Reynolds. Types, abstraction and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83, pages 513--523, Amsterdam, 1983. Elsevier Science Publishers B.V. (North-Holland).
Project Description - We Propose To (Correct)
No context found.
John C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing '83, pages 513--523. North-Holland, 1983. Proceedings of the IFIP 9th World Computer Congress.
A Game Semantics for Generic Polymorphism - Samson Abramsky And (2003) (1 citation) (Correct)
No context found.
J. C. Reynolds. Types, Abstraction and Parametric Polymorphism. Information Processing 83, pp. 513-523, Elsevier (North-Holland), 1983.
Relating Cryptography and Polymorphism - Benjamin Pierce Eijiro (2000) (Correct)
No context found.
John C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing 83, Proceedings of the IFIP 9th World Computer Congres, pages 513--523, 1983.
Intensional Polymorphism in Type-Erasure Semantics - Crary, Weirich, Morrisett (1998) (54 citations) (Correct)
No context found.
John C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing '83, pages 513--523. North-Holland, 1983. Proceedings of the IFIP 9th World Computer Congress.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
John Reynolds. Types, abstraction and parametric polymorphism. In Information Processing 83, pages 513--523, Paris, France, September 1983. Elsevier Science Publishers.
A Bisimulation for Dynamic Sealing - Sumii, Pierce (2004) (2 citations) (Correct)
No context found.
John C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing 83, Proceedings of the IFIP 9th World Computer Congres, pages 513--523, 1983.
Genericity and the π-Calculus - Berger, Honda, Yoshida (Correct)
No context found.
Reynolds, J. C. Types, abstraction and parametric polymorphism. In Information Processing 83 (1983), R. E. A. Mason, Ed.
Free Theorems in the Presence of seq - Johann, Voigtländer (2004) (2 citations) (Correct)
No context found.
J. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing '83, Proc., pages 513--523. Elsevier Science Publishers B.V.
Names and Higher-Order Functions - Stark (1995) (29 citations) (Correct)
No context found.
J. C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing '83, pages 513--523. North Holland, 1983. (p. 8)
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
No context found.
Reynolds, J. C., Types, abstraction and parametric polymorphism. In Information Processing 83 (1983), R. E. A. Mason, Ed.
Logical Relations for Encryption - Eijiro Sumii University (2001) (16 citations) (Correct)
No context found.
John C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing 83, Proceedings of the IFIP 9th World Computer Congres, pages 513--523, 1983.
Combining Programming Languages and Logical Reasoning Systems.. - Sheard (Correct)
No context found.
John C. Reynolds. Types, abstraction and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83, pages 513--523, Amsterdam, 1983. Elsevier Science Publishers B. V. (North-Holland).
Higher-Order Intensional Type Analysis in Type-Erasure Semantics - Weirich (2003) (3 citations) (Correct)
No context found.
John C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing '83, pages 513--523. North-Holland, 1983. Proceedings of the IFIP 9th World Computer Congress.
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (3 citations) (Correct)
No context found.
J. C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing '83, pages 513--523. North-Holland, 1983. Proceedings of the IFIP 9th World Computer Congress.
An Introduction to Polymorphic Lambda Calculus - Reynolds (1994) (4 citations) (Correct)
No context found.
Reynolds, J. C. Types, Abstraction and Parametric Polymorphism. in: Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, September 19--23,
Modules as Dependently Typed Records - Coquand, Pollack, Takeyama (2002) (Correct)
No context found.
J. Reynolds. Types, Abstraction and Parametric Polymorphism. Invited Paper, IFIP, 1983. 10
First 50 documents Next 50
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