Gradual typing embedded securely in JavaScript

DOI10.1145/2535838.2535889MaRDI QIDQ5408437zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Nikhil Swamy, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman, 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

compilerslanguage-based securitytype systems

Mathematics Subject Classification ID

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

Recommendations

• Safe \& efficient gradual typing for TypeScript
• Gradual type theory
• Abstracting gradual typing
• Space-efficient gradual typing
• Reconciling noninterference and gradual typing

Cited in

(7)

• TS#
• Safe \& efficient gradual typing for TypeScript
• Blame and coercion: Together again for the first time
• Enforcing Programming Guidelines with Region Types and Effects
• Formal methods for web security
• Programming Languages and Systems
• Type-directed operational semantics for gradual typing

Describes a project that uses

Uses Software

• JavaScript

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408437)