John C. Reynolds. Types, abstraction, and parametric polymorphism. In R. E. A. Mason, editor, Information Processing '83, pages 513--523. Elsevier Science Publishers B. V., 1983. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Value Recursion in Monadic Computations - Erkok (2002) (2 citations) (Correct)
A Static Analysis for Instance-based Confinement in Java - Banerjee, Naumann (1 citation) (Correct)
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
Open Modules: - Reconciling Extensibility And (Correct)
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
GDP Festschrift ENTCS, to appear Syntactic Logical.. - Robert Harper Computer (Correct)
Polymorphic Regular Tree Types and Patterns - Vouillon (2006) (Correct)
A Fresh Look at Parametric Polymorphism: Covariant Types - Barry Jay School (1996) (Correct)
Covariant Types - Barry Jay School (1997) (Correct)
Distinguishing Data Structures and Functions: the Constructor.. - Jay (2001) (6 citations) (Correct)
pure: Useful Abstractions in Specifications - Mike Barnett David (2004) (3 citations) (Correct)
Open Modules: Reconciling Extensibility and Information Hiding - Aldrich (2004) (6 citations) (Correct)
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (9 citations) (Correct)
Open Modules: Reconciling Extensibility and Information Hiding - Aldrich (2004) (6 citations) (Correct)
Translating Dependency into Parametricity - Stephen Tse Steve (Correct)
Formal Parametric Polymorphism - Martn Abadi Luca (1993) (35 citations) (Correct)
Explicit Polymorphism and CPS Conversion - Robert Harper Mark (1992) (41 citations) (Correct)
Open Modules: Modular Reasoning in Aspect-Oriented Programming - Aldrich (Correct)
Distinguishing Data Structures and Functions: the Constructor.. - Jay (2001) (6 citations) (Correct)
Ownership Transfer and Abstraction - Banerjee, Naumann (2003) Self-citation (Abstraction) (Correct)
Structure-Preserving Binary Relations for Program Abstraction - Schmidt (2002) (1 citation) Self-citation (Abstraction) (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