Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Study of the Subtyping Machine of Nominal Subtyping with Variance (full
  version)   This is a study of the computing power of the subtyping machine behind
Kennedy and Pierce's nominal subtyping with variance. We depict the lattice of
fragments of Kennedy and Pierce's type system and characterize their computing
power in terms of regular, context-free, deterministic, and non-deterministic
tree languages. Based on the theory, we present Treetop -- a generator of C#
implementations of subtyping machines. The software artifact constitutes the
first feasible (yet POC) fluent API generator to support context-free API
protocols in a decidable type system fragment.

37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics