Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Eighth Workshop on Mathematically Structured Functional
  Programming   This volume contains the proceedings of the Eighth Workshop on Mathematically
Structured Functional Programming (MSFP 2020). The meeting was originally
scheduled to take place in Dublin, Ireland on the 25th of April as a satellite
event of the European Joint Conferences on Theory & Practice of Software (ETAPS
2020).
  Due to the COVID-19 pandemic, ETAPS 2020, and consequently MSFP 2020, has
been postponed to a date yet to be determined.
  The MSFP workshop highlights applications of mathematical structures to
programming applications. We promote the use of category theory, type theory,
and formal language semantics to the development of simple and reasonable
programs. This year's papers cover a variety of topics ranging from array
programming to dependent types to effects.

8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
2
The categories of this paper are: math