Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Types from data: Making structured data first-class citizens in F#   Most modern applications interact with external services and access data in
structured formats such as XML, JSON and CSV. Static type systems do not
understand such formats, often making data access more cumbersome. Should we
give up and leave the messy world of external data to dynamic typing and
runtime checks? Of course, not!
  We present F# Data, a library that integrates external structured data into
F#. As most real-world data does not come with an explicit schema, we develop a
shape inference algorithm that infers a shape from representative sample
documents. We then integrate the inferred shape into the F# type system using
type providers. We formalize the process and prove a relative type soundness
theorem.
  Our library significantly reduces the amount of data access code and it
provides additional safety guarantees when contrasted with the widely used
weakly typed techniques.

36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
16
The categories of this paper are: stat