Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Refinement Types for TypeScript   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.

9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int