Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Implementation Model for Interaction Nets   To study implementations and optimisations of interaction net systems we
propose a calculus to allow us to reason about nets, a concrete data-structure
that is in close correspondence with the calculus, and a low-level language to
create and manipulate this data structure. These work together so that we can
describe the compilation process for interaction nets, reason about the
behaviours of the implementation, and study the efficiency and properties.

25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph