Gradual typing embedded securely in JavaScript

From MaRDI portal

Revision as of 02:04, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5408437

Jump to:navigation, search

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

compilers type systems language-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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5408437&oldid=20149577"