Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Linear usage of state   We investigate the phenomenon that "every monad is a linear state monad". We
do this by studying a fully-complete state-passing translation from an impure
call-by-value language to a new linear type theory: the enriched call-by-value
calculus. The results are not specific to store, but can be applied to any
computational effect expressible using algebraic operations, even to effects
that are not usually thought of as stateful. There is a bijective
correspondence between generic effects in the source language and state access
operations in the enriched call-by-value calculus. From the perspective of
categorical models, the enriched call-by-value calculus suggests a refinement
of the traditional Kleisli models of effectful call-by-value languages. The new
models can be understood as enriched adjunctions.

4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th