Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings of the 7th Workshop on Mathematically Structured Functional
  Programming   The seventh workshop on Mathematically Structured Functional Programming is
devoted to the derivation of functionality from structure. It is a celebration
of the direct impact of Theoretical Computer Science on programs as we write
them today. Modern programming languages, and in particular functional
languages, support the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where would Haskell
be without monads? Functional reactive programming without arrows?
Call-by-push-value without adjunctions? The list goes on. This workshop is a
forum for researchers who seek to reflect mathematical phenomena in data and
control.
  The seventh workshop on Mathematically Structured Functional Programming was
held on 8th July 2018 affiliated with FSCD 2018 as part of FLoC 2018 in Oxford,
UK.
  There were two invited talks. In addition four full papers and two extended
abstracts were selected by the programme committee for presentation.

37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
22
The categories of this paper are: chao-dyn
15
The categories of this paper are: nucl-ex
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
18
The categories of this paper are: econ
13
The categories of this paper are: quant-ph