Roy A Statically Typed, Functional Language for Java']JavaScript

被引：1
|
作者：
McKenna, Brian
机构：
来源：
IEEE INTERNET COMPUTING | 2012年 / 16卷 / 03期
关键词：
D O I：
10.1109/MIC.2012.56
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：86 / 91
页数：6
相关论文
共 50 条
  • [1] Typed Objects in Java']JavaScript
    Matsakis, Nicholas D.
    Herman, David
    Lomov, Dmitry
    [J]. ACM SIGPLAN NOTICES, 2015, 50 (02) : 125 - 134
  • [2] DYNAMIC TYPING IN A STATICALLY TYPED LANGUAGE
    ABADI, M
    CARDELLI, L
    PIERCE, B
    PLOTKIN, G
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1991, 13 (02): : 237 - 268
  • [3] Statically Checking Web API Requests in Java']JavaScript
    Wittern, Erik
    Ying, Annie T. T.
    Zheng, Yunhui
    Dolby, Julian
    Laredo, Jim A.
    [J]. 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2017, : 244 - 254
  • [4] Statically Checking Conventionality of Array Objects in Java']JavaScript
    Younang, Astrid
    Lu, Lunjin
    Almashfi, Nabil
    [J]. TOOLS AND METHODS OF PROGRAM ANALYSIS, 2018, 779 : 183 - 195
  • [5] Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language
    van Noort, Thomas
    Achten, Peter
    Plasmeijer, Rinus
    [J]. WGP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2010, : 73 - 84
  • [6] Typed JS']JS: A Lightweight Typed Java']JavaScript Engine for Mobile Devices
    Choi, Ryan H.
    Choi, Youngil
    [J]. MOBILE COMPUTING, APPLICATIONS, AND SERVICES (MOBICASE 2015), 2015, 162 : 107 - 121
  • [7] DYNAMIC TYPING IN A STATICALLY-TYPED LANGUAGE
    ABADI, M
    CARDELLI, L
    PIERCE, B
    PLOTKIN, G
    [J]. CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 213 - 227
  • [8] A Statically Typed Query Language for Property Graphs
    Tausch, Norbert
    Philippsen, Michael
    Adersberger, Josef
    [J]. PROCEEDINGS OF THE 15TH INTERNATIONAL DATABASE ENGINEERING & APPLICATIONS SYMPOSIUM (IDEAS '11), 2011, : 219 - 225
  • [9] MULTIMETHODS IN A STATICALLY-TYPED PROGRAMMING LANGUAGE
    MUGRIDGE, WB
    HAMER, J
    HOSKING, JG
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 512 : 307 - 324
  • [10] Statically Detecting Java']JavaScript Obfuscation and Minification Techniques in the Wild
    Moog, Marvin
    Demmel, Markus
    Backes, Michael
    Fass, Aurore
    [J]. 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2021), 2021, : 569 - 580
12345