Gradual typing with union and intersection types

被引：26
|
作者：
Castagna, Giuseppe [1 ]
Lanvin, Victor [2 ]
机构：
[1] CNRS, Université Paris Diderot, France
[2] École Normale Supérieure de Cachan, France
来源：
Proceedings of the ACM on Programming Languages | 2017年 / 1卷 / ICFP期
关键词：
D O I：
10.1145/3110285
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Union and intersection types to support both dynamic and static typing
    Ortin, Francisco
    Garcia, Miguel
    [J]. INFORMATION PROCESSING LETTERS, 2011, 111 (06) : 278 - 286
  • [2] Gradual Typing Using Union Typing With Records
    Ramirez Pulido, Karla
    Luis Ortega-Arjona, Jorge
    Gonzalez Huesca, Lourdes del Carmen
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 354 (354) : 171 - 186
  • [3] INTERSECTION AND UNION TYPES
    BARBANERA, F
    DEZANICIANCAGLINI, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 651 - 674
  • [4] A Gradual Interpretation of Union Types
    Toro, Matias
    Tanter, Eric
    [J]. STATIC ANALYSIS (SAS 2017), 2017, 10422 : 382 - 404
  • [5] Typing Classes and Mixins with Intersection Types
    Bessai, Jan
    Dudder, Boris
    Dudenhefner, Andrej
    Chen, Tzu-Chun
    de'Liguoro, Ugo
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (177): : 79 - 93
  • [6] Elaborating Intersection and Union Types
    Dunfield, Joshua
    [J]. ACM SIGPLAN NOTICES, 2012, 47 (09) : 17 - 28
  • [7] Elaborating intersection and union types
    Dunfield, Joshua
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2014, 24 (2-3) : 133 - 165
  • [8] Intersection and Union Types for chi
    van Bakel, Steffen
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 136 : 203 - 227
  • [9] Isomorphism of intersection and union types
    Coppo, Mario
    Dezani-Ciancaglini, Mariangiola
    Margaria, Ines
    Zacchi, Maddalena
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017, 27 (05) : 603 - 625
  • [10] Type Inference for Rank 2 Gradual Intersection Types
    Angelo, Pedro
    Florido, Mario
    [J]. TRENDS IN FUNCTIONAL PROGRAMMING, TFP 2019, 2020, 12053 : 84 - 120
12345