Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automated Sized-Type Inference and Complexity Analysis   This paper introduces a new methodology for the complexity analysis of
higher-order functional programs, which is based on three components: a
powerful type system for size analysis and a sound type inference procedure for
it, a ticking monadic transformation and a concrete tool for constraint
solving. Noticeably, the presented methodology can be fully automated, and is
able to analyse a series of examples which cannot be handled by most competitor
methodologies. This is possible due to various key ingredients, and in
particular an abstract index language and index polymorphism at higher ranks. A
prototype implementation is available.

25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
26
The categories of this paper are: bayes-an