Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Multiparty Session Type-safe Web Development with Static Linearity   Modern web applications can now offer desktop-like experiences from within
the browser, thanks to technologies such as WebSockets, which enable
low-latency duplex communication between the browser and the server. While
these advances are great for the user experience, they represent a new
responsibility for web developers who now need to manage and verify the
correctness of more complex and potentially stateful interactions in their
application. In this paper, we present a technique for developing interactive
web applications that are statically guaranteed to communicate following a
given protocol. First, the global interaction protocol is described in the
Scribble protocol language -- based on multiparty session types. Scribble
protocols are checked for well-formedness, and then each role is projected to a
Finite State Machine representing the structure of communication from the
perspective of the role. We use source code generation and a novel type-level
encoding of FSMs using multi-parameter type classes to leverage the type system
of the target language and guarantee only programs that communicate following
the protocol will type check.
  Our work targets PureScript -- a functional language that compiles to
JavaScript -- which crucially has an expressive enough type system to provide
static linearity guarantees. We demonstrate the effectiveness of our approach
through a web-based Battleship game where communication is performed through
WebSocket connections.

0
The categories of this paper are: hep-ph
26
The categories of this paper are: bayes-an
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
23
The categories of this paper are: solv-int
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
19
The categories of this paper are: eess
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph