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 条
  • [21] Extracting the Power of Dependent Types
    Sinkarovs, Artjoms
    Cockx, Jesper
    PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES, GPCE 2021, 2021, : 83 - 95
  • [22] Partiality, State and Dependent Types
    Svendsen, Kasper
    Birkedal, Lars
    Nanevski, Aleksandar
    TYPED LAMBDA CALCULI AND APPLICATIONS, (TLCA 2011), 2011, 6690 : 198 - 212
  • [23] Dynamic typing with dependent types
    Ou, XM
    Tan, G
    Mandelbaum, Y
    Walker, D
    EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS, 2004, 155 : 437 - 450
  • [24] Game semantics for dependent types
    Vakar, Matthijs
    Jagadeesan, Radha
    Abramsky, Samson
    INFORMATION AND COMPUTATION, 2018, 261 : 401 - 431
  • [25] ΠΣ: Dependent Types without the Sugar
    Altenkirch, Thorsten
    Danielsson, Nils Anders
    Loh, Andres
    Oury, Nicolas
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 40 - +
  • [26] A Role for Dependent Types in Haskell
    Weirich, Stephanie
    Choudhury, Pritam
    Voizard, Antoine
    Eisenberg, Richard A.
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (ICFP):
  • [27] Cayenne - A language with dependent types
    Augustsson, L
    ADVANCED FUNCTIONAL PROGRAMMING, 1999, 1608 : 240 - 267
  • [28] Dependent Types for Extensive Games
    Lescanne, Pierre
    JOURNAL OF FORMALIZED REASONING, 2018, 11 (01): : 1 - 17
  • [29] Polynomial Time and Dependent Types
    Atkey, Robert
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
  • [30] Imperative Objects with Dependent Types
    Campos, Joana
    Vasconcelos, Vasco T.
    17TH WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP 2015), 2015,
12345