In this paper, we introduce Refined TypeScript (RSC): a novel, lightweight refinement type system for TypeScript, a typed superset of JavaScript.
確定! 回上一頁