Safe \& efficient gradual typing for TypeScript
DOI10.1145/2676726.2676971zbMATH Open1346.68049OpenAlexW2091335641WikidataQ131119055 ScholiaQ131119055MaRDI QIDQ2819802FDOQ2819802
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
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
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)
Cited In (11)
- Preemptive type checking
- An integrated approach to assertion-based random testing in Prolog
- How to evaluate the performance of gradual type systems
- Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
- Gradual typing using union typing with records
- VeriFly: On-the-fly Assertion Checking via Incrementality
- Blame and coercion: Together again for the first time
- The role of concurrency in an evolutionary view of programming abstractions
- Gradual typing embedded securely in JavaScript
- Fifty Years of Prolog and Beyond
- Gradual tensor shape checking
Uses Software
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)
