Refinement Types for TypeScript

April 08, 2016 · Declared Dead · 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation

👻 CAUSE OF DEATH: Ghosted
No code link whatsoever

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala arXiv ID 1604.02480 Category cs.PL: Programming Languages Citations 55 Venue ACM-SIGPLAN Symposium on Programming Language Design and Implementation Last Checked 2 months ago
Abstract
We present Refined TypeScript (RSC), a lightweight refinement type system for TypeScript, that enables static verification of higher-order, imperative programs. We develop a formal core of RSC that delineates the interaction between refinement types and mutability. Next, we extend the core to account for the imperative and dynamic features of TypeScript. Finally, we evaluate RSC on a set of real world benchmarks, including parts of the Octane benchmarks, D3, Transducers, and the TypeScript compiler.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Programming Languages

Died the same way — 👻 Ghosted