Gordon Plotkin, Martín Abadi  Home/Search
Context Related
| digital.com/SRC/personal/Mar...param.ps dcs.ed.ac.uk/home/gdp/p...Par_Poly.ps.Z belllabs.com/~abadi/Papers/param.ps 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: digital.com/SRC/perso...allpapers (more) From: mat.pucrio.br/~edrx/logic (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed -calculus with recursion and arithmetic, our logic is a logic for System F. The logic permits the formal presentation and use of relational parametricity. Parametricity yields---for example---encodings of initial algebras, final co-algebras and abstract datatypes, with corresponding proof principles of induction, co-induction and simulation. 1 Introduction In this paper we introduce a... (Update)
Cited by: More
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
From Process Logic to Program Logic - Honda (2004) (Correct)
Active bibliography (related documents): More All
1.9: A Logic for Parametric Polymorphism - Plotkin, Abadi (1993) (Correct)
0.4: Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (Correct)
0.3: A Model for Formal Parametric Polymorphism: a Per.. - Abadi, Bellucci, Curien (1995) (Correct)
Similar documents based on text: More All
0.5: The Bainbridge-Freyd-Scedrov-Scott Parametric PER Model in the.. - Brown (1999) (Correct)
0.3: On Plotkin-Abadi Logic for Parametric Polymorphism - Towards a.. - Maneggia (Correct)
0.2: Faithful Ideal Models for Recursive Polymorphic Types - Abadi, Pierce (1991) (Correct)
Related documents from co-citation: More All
27: abstraction and parametric polymorphism (context) - Reynolds - 1983
18: Theoretical Computer Science (context) - Bainbridge, Freyd et al. - 1990
17: Formal parametric polymorphism - Abadi, Cardelli et al. - 1993
BibTeX entry: (Update)
Gordon Plotkin and Mart'in Abadi. A logic for parametric polymorphism. In M. Bezem and J.F. Groote, editors, Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science, pages 361--375. Springer-Verlag, March 1993. http://citeseer.ist.psu.edu/article/plotkin93logic.html More
@inproceedings{ plotkin93logic,
author = "Gordon Plotkin and Mart\'{\i}n Abadi",
title = "A logic for parametric polymorphism",
booktitle = "International Conference on Typed Lambda Calculi and Applications",
number = "664",
publisher = "Springer-Verlag",
address = "Utrecht, The Netherlands",
editor = "M. Bezem and J. F. Groote",
pages = "361--375",
year = "1993",
url = "citeseer.ist.psu.edu/article/plotkin93logic.html" }
Citations (may not include all citations):311 Abstract types have existential type (context) - Mitchell, Plotkin - 1985
147 abstraction and parametric polymorphism (context) - Reynolds - 1983
91 A final co-algebra theorem (context) - Aczel, Mendler - 1989
63 Theoretical Computer Science (context) - Bainbridge, Freyd et al. - 1990
53 Automatic synthesis of typed-programs on term algebras (context) - Bohm, Berarducci - 1985
49 A co-induction principle for recursively defined domains - Pitts
39 Polymorphism is set-theoretic (context) - Pitts - 1987
38 A type inference approach to reduction properties and semant.. (context) - Mitchell - 1990
28 the equivalence of data representations (context) - Mitchell - 1991
21 A note on categorical datatypes (context) - Wraith - 1989
21 Categorical data types in parametric polymorphism (context) - Hasegawa - 1990
20 On functors expressible in the polymorphic typed lambda calc.. (context) - Reynolds, Plotkin - 1990
18 Outline of a proof theory of parametricity - Mairson - 1991
14 and Andre Scedrov (context) - Cardelli, Martini et al. - 1991
10 categories and duality (context) - Smyth - 1991
7 minimum typing and type-checking in F (context) - Curien, Ghelli et al. - 1992
5 International Summer School in Programming Languages (context) - Strachey, in et al. - 1967
5 Parametricity of extensionally collapsed models of polymorph.. (context) - Hasegawa - 1991
2 Luca Cardelli and Pierre-Louis Curien (context) - Abadi
2 Recursive types in polymorphic second-order lambda-calculus .. (context) - Wadler - 1990
1 extensionality: Confluence of fijtop reduction in F (context) - Curien, Ghelli - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.digital.com/SRC/personal/Martin_Abadi/allpapers.html): More
Baby Modula-3 and a theory of objects - Abadi (1993) (Correct)
A TLA Solution to the RPC-Memory Specification Problem - Abadi, Lamport, Merz (1996) (Correct)
A Per Model of Polymorphism and Recursive Types - Abadi, Plotkin (1990) (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