Luca Cardelli, Peter Wegner  Home/Search
Context Related
Links: ACM DBLP | microsoft.com/User...nderstanding.A4.ps microsoft.com/User...OnUnderstanding.ps fit.edu/~ryan/libr...OnUnderstanding.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 Problem Downloading? From: luca.demon.co.uk/Bibliography (more) From: luca.demon.co.uk/Bibliography (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical programming languages. Object-oriented languages provide both a framework and a motivation for exploring the interaction among the concepts of type, data abstraction, and polymorphism, since they extend the notion of type to data abstraction and ... (Update)
Context of citations to this paper: More
...our formal models of computation with respect to object oriented concepts. This is already happening with type theory [Cardelli and Wegner 1985], models of concurrency [Agha 1986; Hoare 1985] and semantics of programming languages and applications [Wolczko 1987] As...
...structure containing signature pointers of type S . #include iostream.h int main ( S p[2] new C, new D ; cout p[0] text ( p[1] text ( n ; return 0; When run, the above program will print the string Hello World. n . Properties Other languages, such as...
Cited by: More
The Role of Polymorphic Reuse Mechanisms in Schema.. - Liu, Zicari, Hürsch, .. (1981) (Correct)
System-Level Types for Component-Based Design - Lee, Xiong (2001) (Correct)
Emerald: A General-Purpose Programming Language - Raj, Tempero, Levy, Black, al. (1991) (Correct)
Active bibliography (related documents): More All
1.7: Basic Polymorphic Typechecking - Cardelli (1988) (Correct)
1.4: The Quest Language and System - Cardelli (1994) (Correct)
1.3: A Polymorphic lambda-calculus with Type:Type - Cardelli (1986) (Correct)
Similar documents based on text: More All
0.2: Structural Subtyping and the Notion of Power Type - Cardelli (1988) (Correct)
0.2: A semantic basis for Quest - Cardelli, Longo (1990) (Correct)
0.2: Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
Related documents from co-citation: More All
14: Object-oriented software construction (context) - Meyer - 1988
13: Communicating Sequential Processes (context) - Hoare - 1985
13: A Semantics of Multiple Inheritance - Cardelli - 1988
BibTeX entry: (Update)
Luca Cardelli and Peter Wegner. "On understanding types, data abstraction, and polymorphism." Computing Surveys, Vol. 17, No. 4, December 1985, pp. 471--522. http://citeseer.ist.psu.edu/cardelli85understanding.html More
@article{ cardelli85understanding,
author = "Luca Cardelli and Peter Wegner",
title = "On Understanding Types, Data Abstraction, and Polymorphism",
journal = "ACM Computing Surveys",
volume = "17",
number = "4",
pages = "471--522",
year = "1985",
url = "citeseer.ist.psu.edu/cardelli85understanding.html" }
Citations (may not include all citations):866 techniques and tools (context) - Aho, Sethi et al. - 1985
236 Intuitionistic type theory (context) - Martin-Lof - 1980
86 The language and its implementation (context) - Goldberg, Robson - 1983
55 interactive conceptual language (context) - Albano, Cardelli et al. - 1985
39 Transactions of the American Mathematical Society (context) - Hindley, type et al. - 1969
37 A kernel language for abstract data types and modules (context) - Burstall, Lampson - 1984 DBLP
35 Software Engineering with Ada (context) - Booch - 1983 ACM
34 Lecture Notes in Computer Science (context) - Gordon, Milner et al. - 1979
20 Lecture Notes in Computer Science (context) - Liskov, Manual - 1981
19 lecture notes for the International Summer School in Compute.. (context) - Strachey, in et al. - 1967
14 Software Practice and Experience (context) - Welsh, Sneeringer et al. - 1977
14 Journal of Computer and System Science (context) - Milner, of et al. - 1978
13 Plotkin: Abstract types have existential type (context) - Mitchell - 1985
13 Milner: Principal type-schemes for functional programs (context) - Damas - 1982
9 Symposium on Lisp and Functional Programming (context) - MacQueen, Standard et al. - 1984
9 Journal of the ACM (context) - Robinson, logic et al. - 1956
8 Sweet: Mesa language manual (context) - Mitchell, Maybury - 1979
8 Symposium on Lisp and Functional Programming (context) - Milner, for et al. - 1984
7 Huet: Constructions: a higher order proof system for mechani.. (context) - Coquand - 1985
7 Meyer: The semantics of second order polymorphic lambda calc.. (context) - Bruce - 1984
7 Sethi: An ideal model for recursive polymorphic types (context) - MacQueen, Plotkin - 1984
5 Donahue: Revised Report on Russell (context) - Demers - 1979
4 Moon: Lisp machine manual (context) - Weinreb - 1981
4 SIAM Journal of Computing (context) - Scott, as - 1976
3 Mathematical Foundations of Software Development (context) - Reynolds, to et al. - 1985
3 Sannella: Hope: an experimental applicative language (context) - Burstall, MacQueen - 1980
2 of the 13th Summer School of the LITP (context) - Cardelli, Combinators et al. - 1985
2 Feys: Combinatory logic (context) - Curry - 1958
2 Dept of Computer Science (context) - Thesis
2 a first attempt (context) - Hook, Russell - 1984
1 Technical Report No (context) - Matthews, manual - 1985
1 limination des coupures dans l'analyse et la théorie des typ.. (context) - Girard, de l'interpretation et al. - 1971
1 Proc POPL (context) - Wegner, unification et al. - 1983
1 Xerox PARC (context) - Schmidt, software et al. - 1982
1 Polymorphism newsletters (context) - Cardelli, typechecking et al. - 1984
1 Wegner: Viewing object-oriented programming as an enhancemen.. (context) - Hendler - 1986
1 Technical report No (context) - Fairbairn, its
1 MIS-STD (context) - of, Ada et al. - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.luca.demon.co.uk/Bibliography.html): More
On Binary Methods - Bruce, Cardelli, Castagna, Eifrig.. (1995) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
An Interpretation of Objects and Object Types - Abadi, Cardelli, Viswanathan (1996) (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