Sets, types and type-checking

被引：1
|
作者：
Turner, R [1 ]
机构：
[1] Univ Essex, Dept Comp Sci, Colchester CO4 3SQ, Essex, England
来源：
JOURNAL OF LOGIC AND COMPUTATION | 1999年 / 9卷 / 06期
关键词：
Z; specification; set theory; type assignment; type theory;
D O I：
10.1093/logcom/9.6.959
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The underlying set theory of the Z-specification language is said to be a typed set theory. There are two interpretations of this to be found in the literature. One is based upon Simple Type theory and the other on set theory plus a type assignment system. We establish their equivalance.
引用
收藏
页码：959 / 975
页数：17
相关论文
共 50 条
  • [1] An algorithm for type-checking dependent types
    Coquand, T
    SCIENCE OF COMPUTER PROGRAMMING, 1996, 26 (1-3) : 167 - 177
  • [2] Type-checking smalltalk
    Drossopoulou, Sophia
    Karathanos, Stephan
    Yang, Dan
    JOOP - Journal of Object-Oriented Programming, 1996, 8 (08):
  • [3] TYPE-CHECKING SMALLTALK
    JOHNSON, RE
    SIGPLAN NOTICES, 1986, 21 (11): : 315 - 321
  • [4] DATA TYPES AS VALUES: POLYMORPHISM, TYPE-CHECKING, ENCAPSULATION.
    Demers, Alan
    Donahue, James
    Skinner, Glenn
    1978, : 23 - 30
  • [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