Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Solo: A Lightweight Static Analysis for Differential Privacy   All current approaches for statically enforcing differential privacy in
higher order languages make use of either linear or relational refinement
types. A barrier to adoption for these approaches is the lack of support for
expressing these "fancy types" in mainstream programming languages. For
example, no mainstream language supports relational refinement types, and
although Rust and modern versions of Haskell both employ some linear typing
techniques, they are inadequate for embedding enforcement of differential
privacy, which requires "full" linear types a la Girard. We propose a new type
system that enforces differential privacy, avoids the use of linear and
relational refinement types, and can be easily embedded in mainstream richly
typed programming languages such as Scala, OCaml and Haskell. We demonstrate
such an embedding in Haskell, demonstrate its expressiveness on case studies,
and prove that our type-based enforcement of differential privacy is sound.

7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th