Gordin Plotkin and Martn Abadi. A logic for parametric polymorphism. In Proc. LICS'98, 1998. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Spatial Logic for Concurrency (Part II) - Lus Caires And (Correct)
Parametricity as a Notion of Uniformity in Reflexive Graphs - Dunphy (2002) (Correct)
A Spatial Logic for Concurrency (Part II) - Caires, Cardelli (2003) (Correct)
A Game Semantics For Generic Polymorphism - Abramsky, Jagadeesan (1971) (1 citation) (Correct)
Objects and Classes in Algol-like Languages - Reddy (1998) (12 citations) (Correct)
A Simple Proof Technique for Certain Parametricity Results - Crary (1998) (6 citations) (Correct)
Encoding Intensional Type Analysis - Weirich (2001) (10 citations) (Correct)
Fully Complete Models for ML Polymorphic Types - Abramsky, Lenisa (1999) (Correct)
Non-uniform Recursion: The solution (minimal sorting for fold) - Wehr (2000) (Correct)
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
From Process Logic to Program Logic - Honda (2004) (Correct)
A Game Semantics for Generic Polymorphism - Samson Abramsky And (2003) (1 citation) (Correct)
Appears in LISP and Symbolic Computation 9(1):77--107.. - Ian Stark University (Correct)
On the Observable Properties of - Higher Order Functions (Correct)
From Algebras and Coalgebras to Dialgebras - Poll, Zwanenburg (2001) (2 citations) (Correct)
Names and Higher-Order Functions - Stark (1995) (29 citations) (Correct)
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
From Algebras and Coalgebras to Dialgebras - Poll, Zwanenburg (2001) (2 citations) (Correct)
A Compositional Logic for Polymorphic Higher-Order Functions - Honda, Yoshida (2004) (Correct)
Observable Properties of Higher Order Functions - That Dynamically Create (Correct)
A Compositional Logic for Polymorphic Higher-Order Functions - Kohei Honda Department (2004) (Correct)
From Algebras and Coalgebras to Dialgebras - Poll, Zwanenburg (2001) (2 citations) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (4 citations) Self-citation (Plotkin Abadi) (Correct)
Formal Parametric Polymorphism - Martn Abadi Luca (1993) (35 citations) Self-citation (Abadi) (Correct)
Types for the Scott numerals - Mart'in Abadi Luca Self-citation (Plotkin Abadi) (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