Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Ties between Parametrically Polymorphic Type Systems and Finite Control
  Automata   We present a correspondence and bisimulation between variants of
parametrically polymorphic type systems and variants of finite control
automata, such as FSA, PDA, tree automata and Turing machine. Within this
correspondence we show that two recent celebrated results on automatic
generation of fluent API are optimal in certain senses, present new results on
the studied type systems, formulate open problems, and present potential
software engineering applications, other than fluent API generation, which may
benefit from judicious use of type theory.

12
The categories of this paper are: nucl-th
2
The categories of this paper are: math
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga