DATA TYPES, PARAMETERS AND TYPE CHECKING.

被引：0
|
作者：
Demers, Alan J.
Donahue, James E.
机构：
来源：
Conference Record of the Annual ACM Symposium on Principles of Programming Languages | 1980年
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A treatment of type-checking that makes it possible to do completely static checking with a general parameterization mechanism allowing parameterized types, types as parameters, and even a disciplined form of self-application. The method defines a calculus of ″signatures″ , where signatures are similar to the ″program types″ of J. Reynolds. Each identifier and expression is given a signature, and applications are type-correct when argument and parameter signatures are equivalent under a simple set of signature transformation rules.
引用
收藏
页码：12 / 23
相关论文
共 50 条
  • [31] Efficient Type Checking for a Subclass of Regular Expression Types
    Chen, Lei
    Chen, Haiming
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 1647 - 1652
  • [32] Using types as approximations for type checking prolog programs
    Beierle, C
    Meyer, G
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 251 - 266
  • [33] Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
    Kato, Yuki
    Nakazawa, Koji
    FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, 2010, 5979 : 96 - 110
  • [34] Directional type checking for logic programs: Beyond discriminative types
    Charatonik, W
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, 1782 : 72 - 87
  • [35] SYSTEM DESIGN OF A SPECIAL-PURPOSE COMPUTER FOR LSI DESIGN RULE CHECKING.
    Tamaru, Keikichi
    Onodera, Hidetoshi
    Systems and Computers in Japan, 1987, 18 (02) : 43 - 54
  • [36] Local Type Checking for Linked Data Consumers
    Ciobanu, Gabriel
    Horne, Ross
    Sassone, Vladimiro
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (123): : 19 - 33
  • [37] 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 - +
  • [38] 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)
  • [39] Termination checking with types
    Abel, A
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2004, 38 (04): : 277 - 319
  • [40] Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types
    Im, Hyeonseung
    Nakata, Keiko
    Park, Sungwoo
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2013, 7966 : 299 - 311
12345