Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Formal, Resource Consumption-Preserving Translation of Actors to
  Haskell   We present a formal translation of an actor-based language with cooperative
scheduling to the functional language Haskell. The translation is proven
correct with respect to a formal semantics of the source language and a
high-level operational semantics of the target, i.e. a subset of Haskell. The
main correctness theorem is expressed in terms of a simulation relation between
the operational semantics of actor programs and their translation. This allows
us to then prove that the resource consumption is preserved over this
translation, as we establish an equivalence of the cost of the original and
Haskell-translated execution traces.

19
The categories of this paper are: eess
4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat