Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Quipper: Concrete Resource Estimation in Quantum Algorithms   Despite the rich literature on quantum algorithms, there is a surprisingly
small amount of coverage of their concrete logical design and implementation.
Most resource estimation is done at the level of complexity analysis, but
actual concrete numbers (of quantum gates, qubits, etc.) can differ by orders
of magnitude. The line of work we present here is a formal framework to write,
and reason about, quantum algorithms. Specifically, we designed a language,
Quipper, with scalability in mind, and we are able to report actual resource
counts for seven non-trivial algorithms found in the quantum computer science
literature.

11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
0
The categories of this paper are: hep-ph