Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
  without Space Leaks   Functional reactive programming (FRP) is a paradigm for programming with
signals and events, allowing the user to describe reactive programs on a high
level of abstraction. For this to make sense, an FRP language must ensure that
all programs are causal, and can be implemented without introducing space leaks
and time leaks. To this end, some FRP languages do not give direct access to
signals, but just to signal functions.
  Recently, modal types have been suggested as an alternative approach to
ensuring causality in FRP languages in the synchronous case, giving direct
access to the signal and event abstractions. This paper presents Simply RaTT, a
new modal calculus for reactive programming. Unlike prior calculi, Simply RaTT
uses a Fitch-style approach to modal types, which simplifies the type system
and makes programs more concise. Echoing a previous result by Krishnaswami for
a different language, we devise an operational semantics that safely executes
Simply RaTT programs without space leaks.
  We also identify a source of time leaks present in other modal FRP languages:
The unfolding of fixed points in delayed computations. These time leaks are
eliminated by the Simply RaTT type system.

19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math