Dependent types for javascript

被引：0
|
作者：
University of California, San Diego, United States [1 ]
不详 [2 ]
机构：
来源：
Proc Conf Object Orient Program Syst Lang Appl OOPSLA | / 587-606期
关键词：
Engineering Village;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Arrays - Javascript - Prototype Inheritance - Refinement Types - Strong Updates
引用
收藏
相关论文
共 50 条
  • [41] DEPENDENT TYPES AND FORMAL SYNTHESIS
    HANNA, FK
    DAECHE, N
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1992, 339 (1652): : 121 - 135
  • [42] Polyadic Quantifiers on Dependent Types
    Zawadowski, Marek
    Grudzinska, Justyna
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2024, 2024, 14672 : 278 - 291
  • [43] Interactive Programming with Dependent Types
    Norell, Ulf
    ACM SIGPLAN NOTICES, 2013, 48 (09) : 1 - 1
  • [44] Dependent Information Flow Types
    Lourenco, Luisa
    Caires, Luis
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 317 - 328
  • [45] Internalizing Indistinguishability with Dependent Types
    Liu, Yiyun
    Chan, Jonathan
    Shi, Jessica
    Weirich, Stephanie
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL): : 1298 - 1325
  • [46] Dependent Types and Program Equivalence
    Jia, Limin
    Zhao, Jianzhou
    Sjoberg, Vilhelm
    Weirich, Stephanie
    ACM SIGPLAN NOTICES, 2010, 45 (01) : 275 - 286
  • [47] TYPECHECKING DEPENDENT TYPES AND SUBTYPES
    CARDELLI, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 306 : 45 - 57
  • [48] BOOLEAN TYPES IN DEPENDENT THEORIES
    Kaplan, Itay
    Segel, Ori
    Shelah, Saharon
    JOURNAL OF SYMBOLIC LOGIC, 2022, 87 (04) : 1349 - 1373
  • [49] Ramified recurrence with dependent types
    Danner, N
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2001, 2044 : 91 - 105
  • [50] Dependent Types from Counterexamples
    Terauchi, Tachio
    ACM SIGPLAN NOTICES, 2010, 45 (01) : 119 - 130
12345