Gradual typing embedded securely in JavaScript

DOI10.1145/2535838.2535889zbMath1284.68108OpenAlexW2131242794WikidataQ59620037 ScholiaQ59620037MaRDI QIDQ5408437

Nikhil Swamy, G. M. Bierman, Aseem Rastogi, Juan Chen, Pierre-Yves Strub, Karthikeyan Bhargavan, Cédric Fournet

Publication date: 10 April 2014

Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2535838.2535889

zbMATH Keywords

compilerstype systemslanguage-based security

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (3)

Formal methods for web security ⋮ TS# ⋮ Blame and coercion: Together again for the first time

Uses Software

• JavaScript

This page was built for publication: Gradual typing embedded securely in JavaScript