Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin Gradual typing embedded securely in JavaScript. (English) Zbl 1284.68108 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 425-437 (2014). Cited in 2 Documents MSC: 68N15 Theory of programming languages 68N18 Functional programming and lambda calculus 68N20 Theory of compilers and interpreters 68Q55 Semantics in the theory of computing 03B70 Logic in computer science Keywords:compilers; language-based security; type systems Software:TS#; JavaScript PDFBibTeX XMLCite \textit{N. Swamy} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 425--437 (2014; Zbl 1284.68108) Full Text: DOI