Safe \& efficient gradual typing for TypeScript

DOI10.1145/2676726.2676971MaRDI QIDQ2819802zbMATH OpenOpenAlexWikidataFDO

Authors Aseem Rastogi, Nikhil Swamy, Gavin M. Bierman, Panagiotis Vekris, Cédric Fournet

Publication date 29 September 2016

Published in Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

type safetygradual typingJavaScriptTypeScript

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Recommendations

• Gradual Typing for Annotated Type Systems
• Abstracting gradual typing
• Gradual typing embedded securely in JavaScript
• Type safe incremental rebinding
• Reconciling noninterference and gradual typing
• Monotonic references for efficient gradual typing
• Type-safe run-time polytypic programming
• Safe functional reactive programming through dependent types

Cited in

(11)

• Blame and coercion: Together again for the first time
• VeriFly: On-the-fly Assertion Checking via Incrementality
• How to evaluate the performance of gradual type systems
• The role of concurrency in an evolutionary view of programming abstractions
• Preemptive type checking
• Fifty Years of Prolog and Beyond
• Gradual typing using union typing with records
• Gradual tensor shape checking
• Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
• Gradual typing embedded securely in JavaScript
• An integrated approach to assertion-based random testing in Prolog

Describes a project that uses

Uses Software

• JavaScript
• TypeScript

This page was built for publication: Safe \& efficient gradual typing for TypeScript

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