Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Simple and Practical Linear Algebra Library Interface with Static Size
  Checking   Linear algebra is a major field of numerical computation and is widely
applied. Most linear algebra libraries (in most programming languages) do not
statically guarantee consistency of the dimensions of vectors and matrices,
causing runtime errors. While advanced type systems--specifically, dependent
types on natural numbers--can ensure consistency among the sizes of collections
such as lists and arrays, such type systems generally require non-trivial
changes to existing languages and application programs, or tricky type-level
programming.
  We have developed a linear algebra library interface that verifies the
consistency (with respect to dimensions) of matrix operations by means of
generative phantom types, implemented via fairly standard ML types and module
system. To evaluate its usability, we ported to it a practical machine learning
library from a traditional linear algebra library. We found that most of the
changes required for the porting could be made mechanically, and changes that
needed human thought are minor.

32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
26
The categories of this paper are: bayes-an
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph