DATA TYPES AS VALUES: POLYMORPHISM, TYPE-CHECKING, ENCAPSULATION.

被引：0
|
作者：
Demers, Alan
Donahue, James
Skinner, Glenn
机构：
来源：
| 1978年
关键词：
DATA TYPES - ENCAPSULATION - POLYMORPHISM - TYPE-CHECKING RULES;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
One of the goals of research in programming languages is the isolation of the underlying concepts of languages, i. e. , those basic ideas that allow us to understand the relations among various language features. This paper describes a novel approach to the treatment of data types in programming languages, which allows a simple interpretation of ″polymorphic″ or ″generic″ procedures, makes a simple set of type-checking rules semantically justifiable and provides a straightforward treatment of encapsulation.
引用
收藏
页码：23 / 30
相关论文
共 50 条
  • [1] Sets, types and type-checking
    Turner, R
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (06) : 959 - 975
  • [2] An algorithm for type-checking dependent types
    Coquand, T
    SCIENCE OF COMPUTER PROGRAMMING, 1996, 26 (1-3) : 167 - 177
  • [3] Type-checking smalltalk
    Drossopoulou, Sophia
    Karathanos, Stephan
    Yang, Dan
    JOOP - Journal of Object-Oriented Programming, 1996, 8 (08):
  • [4] TYPE-CHECKING SMALLTALK
    JOHNSON, RE
    SIGPLAN NOTICES, 1986, 21 (11): : 315 - 321
  • [5] Type-checking Smalltalk
    Drossopoulou, S
    Karathanos, S
    Yang, D
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1996, 8 (08): : 43 - &
  • [6] A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance
    Abel, Andreas
    Coquand, Thierry
    Pagano, Miguel
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 5 - +
  • [7] Incremental Type-Checking for Free
    Zwaan, Aron
    van Antwerpen, Hendrik
    Visser, Eelco
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [8] A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE
    Abel, Andreas
    Coquand, Thierry
    Pagano, Miguel
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (02)
  • [9] Type-Checking CRDT Convergence
    Zakhour, George
    Weisenburger, Pascal
    Salvaneschi, Guido
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI):
  • [10] A SYNTHESIS OF TYPE-CHECKING AND PARSING
    MCCROSKY, C
    SAILOR, K
    COMPUTER LANGUAGES, 1993, 18 (04): : 241 - 250
12345