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 Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
From Control Effects to Typed Continuation Passing - Thielecke (2003) (1 citation) (Correct)
A New Approach to Abstract Syntax with Variable Binding - Gabbay, Pitts (2001) (33 citations) (Correct)
Staged Computation with Names and Necessity - Nanevski, Pfenning (2005) (Correct)
TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005) (1 citation) (Correct)
A Logic for Parametric Polymorphism - Plotkin, Abadi (1993) (47 citations) (Correct)
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (3 citations) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (4 citations) (Correct)
Project Description - We Propose To (Correct)
A Game Semantics for Generic Polymorphism - Samson Abramsky And (2003) (1 citation) (Correct)
Relating Cryptography and Polymorphism - Benjamin Pierce Eijiro (2000) (Correct)
Intensional Polymorphism in Type-Erasure Semantics - Crary, Weirich, Morrisett (1998) (54 citations) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
A Bisimulation for Dynamic Sealing - Sumii, Pierce (2004) (2 citations) (Correct)
Genericity and the π-Calculus - Berger, Honda, Yoshida (Correct)
Free Theorems in the Presence of seq - Johann, Voigtländer (2004) (2 citations) (Correct)
Names and Higher-Order Functions - Stark (1995) (29 citations) (Correct)
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
Logical Relations for Encryption - Eijiro Sumii University (2001) (16 citations) (Correct)
Combining Programming Languages and Logical Reasoning Systems.. - Sheard (Correct)
Higher-Order Intensional Type Analysis in Type-Erasure Semantics - Weirich (2003) (3 citations) (Correct)
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (3 citations) (Correct)
An Introduction to Polymorphic Lambda Calculus - Reynolds (1994) (4 citations) (Correct)
Modules as Dependently Typed Records - Coquand, Pollack, Takeyama (2002) (Correct)
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) Self-citation (Reynolds) (Correct)
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) Self-citation (Reynolds) (Correct)
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