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 条
  • [31] Simple Dependent Types for OSTRICH
    Parreira, Joana
    INTEGRATED FORMAL METHODS, IFM 2022, 2022, 13274 : 361 - 364
  • [32] Generic programming with dependent types
    Altenkirch, Thorsten
    McBride, Conor
    Morris, Peter
    DATATYPE-GENERIC PROGRAMMING, 2007, 4719 : 209 - 257
  • [33] Dependent types for program understanding
    Komondoor, R
    Ramalingam, G
    Chandra, S
    Field, J
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 157 - 173
  • [34] A specification for dependent types in haskell
    Weirich S.
    Voizard A.
    De Amorim P.H.A.
    Eisenberg R.A.
    1600, Association for Computing Machinery (01):
  • [35] Cayenne - a language with dependent types
    Augustsson, L
    ACM SIGPLAN NOTICES, 1999, 34 (01) : 239 - 250
  • [36] Syntactic Calculus with Dependent Types
    Aarne Ranta
    Journal of Logic, Language and Information, 1998, 7 (4) : 413 - 431
  • [37] Dependent Types from Counterexamples
    Terauchi, Tachio
    POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 119 - 130
  • [38] Integrating Dependent and Linear Types
    Krishnaswami, Neelakantan R.
    Pradic, Pierre
    Benton, Nick
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 17 - 30
  • [39] The Influence of Dependent Types (Keynote)
    Weirich, Stephanie
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 1 - 1
  • [40] Proof Mining with Dependent Types
    Komendantskaya, Ekaterina
    Heras, Jonathan
    INTELLIGENT COMPUTER MATHEMATICS, 2017, 10383 : 303 - 318
12345