Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Typeof'

Typeof published presentations and documents on DocSlides.

Taming JavaScript on the Web
Taming JavaScript on the Web
by araquant
Arjun . Guha. Joe Gibbs . Politz. Shriram . Krishn...
Typing Local Control and State Using Flow Analysis
Typing Local Control and State Using Flow Analysis
by alexa-scheidler
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnam...
Dependent
Dependent
by pasty-toler
Types for JavaScript. Ravi . Chugh. . Ranjit....
Typing Local Control and State Using Flow Analysis
Typing Local Control and State Using Flow Analysis
by mitsue-stanley
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnam...
RDFa Lite
RDFa Lite
by karlyn-bohler
RDFa 1.1 Lite is a subset of RDFa 1.1. Five simpl...
RDFa Lite
RDFa Lite
by marina-yarberry
RDFa 1.1 Lite is a subset of RDFa 1.1. Five simpl...
Taming JavaScript with F*
Taming JavaScript with F*
by danika-pritchard
Nikhil Swamy. Microsoft Research. Computers of al...
Program verification via an intermediate language
Program verification via an intermediate language
by kittie-lecroy
K. Rustan M. Leino. Microsoft Research, Redmond. ...