POLYMORPHIC TYPECHECKING FOR THE EXCEPTION MECHANISM IN ML CORE LANGUAGE

被引：0
|
作者：
江明德
机构：
[1] PRC
[2] University of Electronics Science and Technology of China
[3] Chengdu 610054
来源：
Science Bulletin | 1989年 / 21期
关键词：
polymorphic typecheeking; exception mechanism; ML language;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The exception mechanism in ML programming language has its distinguishing feature. It was proposed as a means to gain the convenience of dynamic exception trapping without risking violation of the type discipline and indeed still allowing polymorphic
引用
收藏
页码：1766 / 1768
页数：3
相关论文
共 50 条
  • [1] POLYMORPHIC TYPECHECKING FOR THE EXCEPTION MECHANISM IN ML CORE LANGUAGE
    JIANG, MD
    [J]. CHINESE SCIENCE BULLETIN, 1989, 34 (21): : 1766 - 1768
  • [2] BASIC POLYMORPHIC TYPECHECKING
    CARDELLI, L
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (02) : 147 - 172
  • [3] Semantics of an exception mechanism for Bulk Synchronous Parallel ML
    Gesbert, Louis
    Loulergue, Frederic
    [J]. EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2007, : 201 - +
  • [4] TYPECHECKING RECORDS AND VARIANTS IN A NATURAL EXTENSION OF ML
    REMY, D
    [J]. CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 77 - 88
  • [5] ELIOM: A Core ML Language for Tierless Web Programming
    Radanne, Gabriel
    Vouillon, Jerome
    Balat, Vincent
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2016, 2016, 10017 : 377 - 397
  • [6] Language in calculation: A core mechanism?
    Benn, Yael
    Zheng, Ying
    Wilkinson, Iain D.
    Siegal, Michael
    Varley, Rosemary
    [J]. NEUROPSYCHOLOGIA, 2012, 50 (01) : 1 - 10
  • [7] Polymorphic specialization for ML
    Helsen, S
    Thiemann, P
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 26 (04): : 652 - 701
  • [8] THE HOARE-LIKE VERIFICATION SYSTEM FOR A LANGUAGE WITH AN EXCEPTION HANDLING MECHANISM
    SZCZEPANSKA, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 511 - 522
  • [9] A HOARE-LIKE VERIFICATION SYSTEM FOR A LANGUAGE WITH AN EXCEPTION HANDLING MECHANISM
    SZCZEPANSKA, D
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 80 (02) : 319 - 335
  • [10] POLYMORPHIC UNIFICATION AND ML TYPING
    KANELLAKIS, PC
    MITCHELL, JC
    [J]. CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 105 - 115
12345