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 条
  • [1] Dependent types for JavaScript
    Chugh, Ravi
    Herman, David
    Jhala, Ranjit
    ACM SIGPLAN Notices, 2012, 47 (10): : 587 - 606
  • [2] Dependent Types for Java']JavaScript
    Chugh, Ravi
    Herman, David
    Jhala, Ranjit
    ACM SIGPLAN NOTICES, 2012, 47 (10) : 587 - 606
  • [3] Using path-dependent types to build type safe javascript foreign function interfaces
    Richard-Foy, Julien
    Barais, Olivier
    Jézéquel, Jean-Marc
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8541 : 308 - 321
  • [4] Using path-dependent types to build type safe javascript foreign function interfaces
    Richard-Foy, Julien
    Barais, Olivier
    Jézéquel, Jean-Marc
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8541 : 308 - 321
  • [5] Using path-dependent types to build type safe javascript foreign function interfaces
    1600, Springer Verlag (8541):
  • [6] Using Path-Dependent Types to Build Type Safe Java']JavaScript Foreign Function Interfaces
    Richard-Foy, Julien
    Barais, Olivier
    Jezequel, Jean-Marc
    WEB ENGINEERING, ICWE 2014, 2014, 8541 : 308 - 321
  • [7] Understanding ownership types with dependent types
    Cameron, Nicholas
    Drossopoulou, Sophia
    Noble, James
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7850 : 84 - 108
  • [8] JavaScript讲座(一) JavaScript概述
    陈冲
    麦中凡
    微电脑世界, 1997, (03) : 87 - 89
  • [9] Parametricity and Dependent Types
    Bernardy, Jean-Philippe
    Jansson, Patrik
    Paterson, Ross
    ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 345 - 356
  • [10] Games for Dependent Types
    Abramsky, Samson
    Jagadeesan, Radha
    Vakar, Matthijs
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2015, 9135 : 31 - 43
12345