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 条
  • [31] THERMOTROPIC LIQUID CRYSTALLINE COPOLYESTERS - SOLID STATE POLYMORPHISM.
    Xie, Ping
    Lu, Daohui
    Bao, Jingsheng
    Chinese Journal of Polymer Science (English Edition), 1988, 6 (01): : 45 - 50
  • [32] Convulsive disorder and genetic polymorphism. Association of idiopathic generalized epilepsy with haptoglobin polymorphism
    P. Saccucci
    M. Verdecchia
    A. Piciullo
    N. Bottini
    R. Rizzo
    F. Gloria-Bottini
    P. Lucarelli
    P. Curatolo
    Neurogenetics, 2004, 5 : 245 - 248
  • [33] Polymer chemical structures that control calcium oxalate polymorphism.
    Wesson, JA
    Weissner, JH
    Mandel, NS
    Kleinman, JG
    JOURNAL OF INVESTIGATIVE MEDICINE, 1999, 47 (07) : 235A - 235A
  • [34] TYPES OF ABSTRACTION THEORIES
    DEJKOV, A
    FILOSOFICKY CASOPIS, 1979, 27 (01): : 36 - 46
  • [35] Dromedary milk fat: composition, microstructure and polymorphism. A review
    Karray, Nadia
    Lopez, Christelle
    Ollivon, Michel
    Attia, Hamadi
    OCL-OILSEEDS AND FATS CROPS AND LIPIDS, 2005, 12 (5-6) : 439 - 446
  • [36] Additive induced polymorphism. The pentafluorophenol-pentafluoroaniline system
    Kirchner, Michael T.
    Blaeser, Dieter
    Boese, Roland
    Desiraju, Gautam R.
    CRYSTENGCOMM, 2009, 11 (02): : 229 - 231
  • [37] Central nervous system sarcoidosis: Clinical and radiological polymorphism.
    deSeze, J
    CaparrosLefebvre, D
    Pruvo, JP
    Petit, H
    REVUE DE MEDECINE INTERNE, 1996, 17 (06): : 482 - 487
  • [38] Modules, Abstraction, and Parametric Polymorphism
    Crary, Karl
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 100 - 113
  • [39] Modules, abstraction, and parametric polymorphism
    Crary K.
    ACM SIGPLAN Notices, 2017, 52 (01): : 100 - 113
  • [40] Gene structure and polymorphism. Of an invertebrate nitric oxide synthase gene
    Luckhart, S
    Rosenberg, R
    GENE, 1999, 232 (01) : 25 - 34
12345