Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Combining Inclusion Polymorphism and Parametric Polymorphism   We show that the question whether a term is typable is decidable for type
systems combining inclusion polymorphism with parametric polymorphism provided
the type constructors are at most unary. To prove this result we first reduce
the typability problem to the problem of solving a system of type inequations.
The result is then obtained by showing that the solvability of the resulting
system of type inequations is decidable.

16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat