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 条
  • [21] Effects of branch structures on starch polymorphism.
    Jane, J
    Katopo, H
    Mungara, P
    Yoo, S
    Perera, C
    Wong, KS
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2000, 220 : U118 - U118
  • [22] Asthma and tumour necrosis factor polymorphism.
    Cookson, WOCM
    Moffatt, MF
    HUMAN IMMUNOLOGY, 1996, 47 (1-2) : P874 - P874
  • [23] Abstraction for Conflict-Free Replicated Data Types
    Liang, Hongjin
    Feng, Xinyu
    PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 636 - 650
  • [24] Association study of lung cancer and ERCC polymorphism.
    Qian, L.
    Shao, M.
    Lu, D.
    ENVIRONMENTAL AND MOLECULAR MUTAGENESIS, 2006, 47 (06) : 417 - 417
  • [25] Human microsomal epoxide hydrolase: Expression and polymorphism.
    Omiecinski, CJ
    Hassett, C
    Raaka, S
    Laurenzana, EM
    NAUNYN-SCHMIEDEBERGS ARCHIVES OF PHARMACOLOGY, 1998, 358 (01) : R22 - R22
  • [26] Analysis of the HLA-G gene polymorphism.
    Yamashita, T
    Fujii, T
    Tokunaga, K
    Tadokoro, K
    Taketani, Y
    Juji, T
    HUMAN IMMUNOLOGY, 1996, 49 : 8 - 8
  • [27] Intraethnic genetic differentiation of Evenks by mtDNA polymorphism.
    Muravyova, TP
    Goloubenko, MV
    Puzyrev, VP
    Salioukov, VB
    Bychina, EP
    AMERICAN JOURNAL OF HUMAN GENETICS, 2000, 67 (04) : 220 - 220
  • [28] Secure Data Types: A Simple Abstraction for Confidentiality-Preserving Data Analytics
    Savvides, Savvas
    Stephen, Julian James
    Ardekani, Masoud Saeida
    Sundaram, Vinaitheerthan
    Eugster, Patrick
    PROCEEDINGS OF THE 2017 SYMPOSIUM ON CLOUD COMPUTING (SOCC '17), 2017, : 479 - 492
  • [29] Regulation of Hepatitis B Virus core assembly and polymorphism.
    Zlotnick, A
    Cheng, N
    Conway, JF
    Booy, FP
    Steven, AC
    Stahl, SJ
    Wingfield, PT
    BIOPHYSICAL JOURNAL, 1996, 70 (02) : WAMC7 - WAMC7
  • [30] Convulsive disorder and genetic polymorphism. Association of idiopathic generalized epilepsy with haptoglobin polymorphism
    Saccucci, P
    Verdecchia, M
    Piciullo, A
    Bottini, N
    Rizzo, R
    Gloria-Bottini, F
    Lucarelli, P
    Curatolo, P
    NEUROGENETICS, 2004, 5 (04) : 245 - 248
12345