Login / Signup

Gradual typing embedded securely in JavaScript.

Nikhil SwamyCédric FournetAseem RastogiKarthikeyan BhargavanJuan ChenPierre-Yves StrubGavin 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