Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Linear Dependent Types for Domain Specific Program Analysis (Extended
  Abstract)   In this tutorial I will present how a combination of linear and dependent
type can be useful to describe different properties about higher order
programs. Linear types have been proved particularly useful to express
properties of functions; dependent types are useful to describe the behavior of
the program in terms of its control flow. This two ideas fits together well
when one is interested in analyze properties of functions depending on the
control flow of the program. I will present these ideas with example taken by
complexity analysis and sensitivity analysis. I will conclude the tutorial by
arguing about the generality of this approach.

33
The categories of this paper are: plasm-ph
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
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
16
The categories of this paper are: stat
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess