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 条
  • [41] Multivariate association analysis of immune systems parameters and HLA polymorphism.
    Chu, TW
    Norman, RA
    Essioux, L
    Thiel, B
    Lanchbury, J
    Schork, MA
    Winkelmann, B
    Schork, NJ
    AMERICAN JOURNAL OF HUMAN GENETICS, 2000, 67 (04) : 270 - 270
  • [42] Stereochemical researches in the benzalacetophenone series. Ethylenic isomerism and polymorphism.
    Dufraisse, C
    Gillet, A
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1926, 183 : 746 - 748
  • [43] Breast cancer, alcohol and the alcohol dehydrogenase3 polymorphism.
    Freudenheim, JL
    Ambrosone, CB
    Moysich, KB
    Vena, JE
    Marshall, JR
    Graham, S
    Nemoto, T
    Shields, PG
    AMERICAN JOURNAL OF EPIDEMIOLOGY, 1997, 145 (11) : 287 - 287
  • [44] Association of breast cancer with vitamin D receptor gene polymorphism.
    Yamagata, Z
    Zhang, YN
    Asaka, A
    Kanamori, M
    Fukutomi, T
    AMERICAN JOURNAL OF HUMAN GENETICS, 1997, 61 (04) : A388 - A388
  • [45] East European gene geography of 3′ApoB VNTR polymorphism.
    Verbenko, DA
    Balanovsky, OP
    Balanovskaya, E
    Khusnutdinova, EK
    Limborska, SA
    AMERICAN JOURNAL OF HUMAN GENETICS, 2001, 69 (04) : 401 - 401
  • [46] No evidence for association between schizophrenia and MAO-A promoter polymorphism.
    Norton, N
    Bray, NJ
    Williams, NM
    Cardno, AC
    Murphy, KC
    Jones, LA
    Sanders, RD
    McCarthy, G
    McGuffin, P
    Owen, MJ
    MOLECULAR PSYCHIATRY, 1999, 4 : S96 - S96
  • [47] TWO TYPES OF ABSTRACTION FOR STRUCTURALISM
    Linnebo, Oystein
    Pettigrew, Richard
    PHILOSOPHICAL QUARTERLY, 2014, 64 (255): : 267 - 283
  • [48] Exercise and bone growth during puberty:: Effects of estrogen receptor α polymorphism.
    Cheng, S
    Suuriniemi, M
    Suominen, K
    Mahonen, A
    Kröger, H
    Alén, M
    JOURNAL OF BONE AND MINERAL RESEARCH, 2005, 20 (09) : S347 - S348
  • [49] Coumarin 120-crystallization experiments leading to a new type of polymorphism.
    Urbanczyk-Lipkowska, Zofia
    Niedzialek, Dorota
    ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2007, 63 : S291 - S291
  • [50] Breast cancer, dietary lignan intake, and CYP17 polymorphism.
    McCann, SE
    Moysich, KB
    Freudenheim, JL
    Ambrosone, CB
    Shields, PG
    AMERICAN JOURNAL OF EPIDEMIOLOGY, 2001, 153 (11) : S33 - S33
12345