Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Typed Slicing Compilation of the Polymorphic RPC Calculus   The polymorphic RPC calculus allows programmers to write succinct multitier
programs using polymorphic location constructs. However, until now it lacked an
implementation. We develop an experimental programming language based on the
polymorphic RPC calculus. We introduce a polymorphic Client-Server (CS)
calculus with the client and server parts separated. In contrast to existing
untyped CS calculi, our calculus is not only able to resolve polymorphic
locations statically, but it is also able to do so dynamically. We design a
type-based slicing compilation of the polymorphic RPC calculus into this CS
calculus, proving type and semantic correctness. We propose a method to erase
types unnecessary for execution but retaining locations at runtime by
translating the polymorphic CS calculus into an untyped CS calculus, proving
semantic correctness.

11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess