Refinement types for TypeScript
2016
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 system for RSC t...
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
35
References
1
Citations
NaN
KQI