Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Theory of Changes for Higher-Order Languages - Incrementalizing
  {\lambda}-Calculi by Static Differentiation   If the result of an expensive computation is invalidated by a small change to
the input, the old result should be updated incrementally instead of
reexecuting the whole computation. We incrementalize programs through their
derivative. A derivative maps changes in the program's input directly to
changes in the program's output, without reexecuting the original program. We
present a program transformation taking programs to their derivatives, which is
fully static and automatic, supports first-class functions, and produces
derivatives amenable to standard optimization.
  We prove the program transformation correct in Agda for a family of
simply-typed {\lambda}-calculi, parameterized by base types and primitives. A
precise interface specifies what is required to incrementalize the chosen
primitives.
  We investigate performance by a case study: We implement in Scala the program
transformation, a plugin and improve performance of a nontrivial program by
orders of magnitude.

3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org