Dependent types for JavaScript

被引：0
|
作者：
Chugh, Ravi [1 ]
Herman, David [2 ]
Jhala, Ranjit [1 ]
机构：
[1] University of California, San Diego, CA, United States
[2] Mozilla Research, United States
来源：
ACM SIGPLAN Notices | 2012年 / 47卷 / 10期
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer systems programming - High level languages
引用
收藏
页码：587 / 606
相关论文
共 50 条
  • [1] Dependent types for javascript
    University of California, San Diego, United States
    不详
    Proc Conf Object Orient Program Syst Lang Appl OOPSLA, (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