ON UNDERSTANDING TYPES, DATA ABSTRACTION, AND POLYMORPHISM.

被引：253
|
作者：
Cardelli, Luca [1 ]
Wegner, Peter [1 ]
机构：
[1] AT&T Bell Lab, Murray Hill, NJ,, USA, AT&T Bell Lab, Murray Hill, NJ, USA
来源：
Computing surveys | 1985年 / 17卷 / 04期
关键词：
COMPUTER METATHEORY;
D O I：
10.1145/6041.6042
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The authors explain 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 since type inheritance is an important form of polymorphism. The authors develop a lambda -calculus-based model for type systems that allows us to explore these interactions in a simple setting, unencumbered by complexities of production programming languages.
引用
收藏
页码：471 / 522
相关论文
共 50 条
  • [1] ON UNDERSTANDING TYPES, DATA ABSTRACTION, AND POLYMORPHISM
    CARDELLI, L
    WEGNER, P
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 837 - 837
  • [2] ON UNDERSTANDING TYPES, DATA ABSTRACTION, AND POLYMORPHISM
    CARDELLI, L
    WEGNER, P
    COMPUTING SURVEYS, 1985, 17 (04) : 471 - 522
  • [3] On polymorphism.
    Loskit, K
    ZEITSCHRIFT FUR PHYSIKALISCHE CHEMIE--STOCHIOMETRIE UND VERWANDTSCHAFTSLEHRE, 1928, 134 (1/2): : 156 - 159
  • [4] DATA TYPES AND ABSTRACTION
    Daniel, Hunyadi Loan
    Emil, Popa M.
    Mircea, Musan
    PROCEEDINGS OF THE 12TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS , PTS 1-3: NEW ASPECTS OF COMPUTERS, 2008, : 229 - +
  • [5] On carpel polymorphism.
    Saunders, ER
    ANNALS OF BOTANY, 1925, 39 (153) : 123 - 167
  • [6] Isomerism and Polymorphism.
    Stobbe, H
    BERICHTE DER DEUTSCHEN CHEMISCHEN GESELLSCHAFT, 1911, 44 : 2732 - 2735
  • [7] TYPES, ABSTRACTION, AND PARAMETRIC POLYMORPHISM, .2.
    MA, QM
    REYNOLDS, JC
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 1 - 40
  • [8] Contribution to the study of polymorphism.
    Wallerant, F
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1914, 158 : 1473 - 1474
  • [9] On Understanding Data Abstraction, Revisited
    Cook, William R.
    OOPSLA 2009, CONFERENCE PROCEEDINGS, 2009, : 557 - 571
  • [10] On Understanding Data Abstraction, Revisited
    Cook, William R.
    ACM SIGPLAN NOTICES, 2009, 44 (10) : 557 - 571
12345