Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Semantics for probabilistic programming: higher-order functions,
  continuous distributions, and soft constraints   We study the semantic foundation of expressive probabilistic programming
languages, that support higher-order functions, continuous distributions, and
soft constraints (such as Anglican, Church, and Venture). We define a
metalanguage (an idealised version of Anglican) for probabilistic computation
with the above features, develop both operational and denotational semantics,
and prove soundness, adequacy, and termination. They involve measure theory,
stochastic labelled transition systems, and functor categories, but admit
intuitive computational readings, one of which views sampled random variables
as dynamically allocated read-only variables. We apply our semantics to
validate nontrivial equations underlying the correctness of certain compiler
optimisations and inference algorithms such as sequential Monte Carlo
simulation. The language enables defining probability distributions on
higher-order functions, and we study their properties.

10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
2
The categories of this paper are: math
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas