Login / Signup
Gradual typing embedded securely in JavaScript.
Nikhil Swamy
Cédric Fournet
Aseem Rastogi
Karthikeyan Bhargavan
Juan Chen
Pierre-Yves Strub
Gavin M. Bierman
Published in:
POPL (2014)
Keyphrases
</>
open source
web applications
embedded systems
data sets
databases
artificial intelligence
digital images
information retrieval
information systems
web browser
scripting language