Search Results - "Formal Definitions AND Theory—Semantics Keywords JavaScript*"

TeJaS: Retrofitting Type Systems for JavaScript

Authors: Benjamin S. Lerner Joe Gibbs Politz Arjun Guha et al.

Contributors: Benjamin S. Lerner Joe Gibbs Politz Arjun Guha et al.

Source: http://cs.brown.edu/~sk/Publications/Papers/Published/lpgk-tejas-type-sys-js/paper.pdf.

Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics Keywords JavaScript, type systems

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.9222

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.9222
http://cs.brown.edu/~sk/Publications/Papers/Published/lpgk-tejas-type-sys-js/paper.pdf