Fetching the paper…
Reading the bibliography…
Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks.
The FORTRAN automatic coding system for the IBM 704 EDPM: Programmer’s reference manual
J. Backus, R. Beeber, S. Best, R. Goldberg, H. Herrick, R. Hughes, L. Mitchell, R. Nelson, R. Nutt, D. Sayre, P. Sheridan, H. Stern, and I. Ziller · 1956
Earlier work this paper cites.
Quantum theory, the Church-Turing principle, and the universal quantum computer
D. Deutsch · 1985
Earlier work this paper cites.
A. Yao · 1993
Earlier work this paper cites.
Conventions for quantum pseudocode
E. Knill · 1996
Earlier work this paper cites.
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
P. Shor · 1997
Earlier work this paper cites.
A procedural formalism for quantum computing
B. Ömer · 1998
Earlier work this paper cites.
Addition on a quantum computer
T. G. Draper · 2000
Earlier work this paper cites.
Quantum computation by adiabatic evolution
E. Farhi, J. Goldstone, S. Gutmann, and M. Sipser · 2000
Earlier work this paper cites.
Quantum Computation and Quantum Information
M. A. Nielsen and I. L. Chuang · 2000
Earlier work this paper cites.
Quantum programming in QCL
B. Ömer · 2000
Cited alongside, same era.
Circuit for shor’s algorithm using 2 n + 3 2n+3 qubits
S. Beauregard · 2002
Cited alongside, same era.
Toward an architecture for quantum programming
S. Bettelli, T. Calarco, and L. Serafini · 2003
Cited alongside, same era.
Structured Quantum Programming
B. Ömer · 2003
Cited alongside, same era.
Improved simulation of stabilizer circuits
S. Aaronson and D. Gottesman · 2004
Cited alongside, same era.
A lambda calculus for quantum computation
A. van Tonder · 2004
Cited alongside, same era.
Simulated quantum computation of molecular energies
A. Aspuru-Guzik, A. D. Dutoi, P. J. Love, and M. Head-Gordon · 2005
A layered software architecture for quantum computing design tools
K. M. Svore, A. V. Aho, A. Cross, I. Chuang, and I. Markov · 2006
Later among the works it cites.
Massively parallel quantum computer simulator
K. D. Raedt, K. Michielsenb, H. D. Raedt, B. Trieuc, G. Arnold, M. Richter, T. Lippert, H. Watanabe, and N. Ito · 2007
Later among the works it cites.
Quantum algorithm for solving linear systems of equations
A. W. Harrow, A. Hassidim, and S. Lloyd · 2009
Later among the works it cites.
Towards quantum chemistry on a quantum computer
B. P. Lanyon, J. D. Whitfield, G. G. Gillet, M. E. Goggin, M. P. Almeida, I. Kassal, J. D. Biamonte, M. Mohseni, B. J. Powell, M. Barbieri, A. Aspuru-Guzik, and A. G. White · 2009
Later among the works it cites.
Quantum lambda calculus
P. Selinger and B. Valiron · 2009
Later among the works it cites.
Models of quantum computation and quantum programming languages
J. Miszczak · 2011
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Graph-based simulation of quantum computation in the state-vector and density-matrix representation
G. Viamontes, I. Markov, and J. Hayes · 2005
Cited alongside, same era.
A lambda calculus for quantum computation with classical control
P. Selinger and B. Valiron · 2006
Cited alongside, same era.
The quantum IO monad
T. Altenkirch and A. Green
Cited in the paper.
Quantum algorithm zoo
S. Jordan
Cited in the paper.
Later among the works it cites.
Quipu: High-performance simulation of quantum circuits using stabilizer frames
H. J. Garcia and I. L. Markov · 2013
Later among the works it cites.
Quipper: A scalable quantum programming language
A. Green, P. L. Lumsdaine, N. Ross, P. Selinger, and B. Valiron · 2013
Later among the works it cites.