Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Designing with Static Capabilities and Effects: Use, Mention, and
  Invariants   Capabilities (whether object or reference capabilities) are fundamentally
tools to restrict effects. Thus static capabilities (object or reference) and
effect systems take different technical machinery to the same core problem of
statically restricting or reasoning about effects in programs. Any time two
approaches can in principle address the same sets of problems, it becomes
important to understand the trade-offs between the approaches, how these
trade-offs might interact with the problem at hand.
  Experts who have worked in these areas tend to find the trade-offs somewhat
obvious, having considered them in context before. However, this kind of design
discussion is often written down only implicitly as comparison between two
approaches for a specific program reasoning problem, rather than as a
discussion of general trade-offs between general classes of techniques. As a
result, it is not uncommon to set out to solve a problem with one technique,
only to find the other better-suited.
  We discuss the trade-offs between static capabilities (specifically reference
capabilities) and effect systems, articulating the challenges each approach
tends to have in isolation, and how these are sometimes mitigated. We also put
our discussion in context, by appealing to examples of how these trade-offs
were considered in the course of developing prior systems in the area. Along
the way, we highlight how seemingly-minor aspects of type systems --
weakening/framing and the mere existence of type contexts -- play a subtle role
in the efficacy of these systems.

14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph