Quipper: A scalable quantum programming language

ACM SIGPLAN Notices

Volumn 48, Issue 6, 2013, Pages 333-342

  Green, Alexander S ^a   LeFanu Lumsdaine, Peter ^b   Ross, Neil J ^a   Selinger, Peter ^a   Valiron, Benoit ^c  

^a DALHOUSIE UNIVERSITY   (Canada)

^b Institute of Advanced Studies   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Quantum Programming Languages; Quipper

Indexed keywords

HIGHER-ORDER; MODEL OF COMPUTATION; NON-TRIVIAL; QUANTUM ALGORITHMS; QUANTUM DEVICE; QUANTUM GATES; QUANTUM PROGRAMMING LANGUAGES; QUIPPER;

COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; QUANTUM COMPUTERS; QUANTUM ELECTRONICS;

FUNCTIONAL PROGRAMMING;

EID: 84880131109     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/2499370.2462177     Document Type: Conference Paper

References (23)

1. T. Altenkirch and A. S. Green. The Quantum IO Monad. In S. Gay and I.Mackie, editors, Semantic Techniques in Quantum Computation, pages 173-205. Cambridge University Press, 2009.
2. A. Ambainis, A. M. Childs, B. Reichardt, R. Špalek, and S. Zhang. Any AND-OR formula of size n can be evaluated in time n 1 2+o(1) on a quantum computer. SIAM J. Comput., 39:2513-2530, 2010.
3. A. Childs and R. Kothari. Quantum query complexity of minorclosed graph properties. In Proceedings of the 28th Symposium on Theoretical Aspects of Computer Science, pages 661-672, 2011.
4. A. M. Childs, R. Cleve, E. Deotto, E. Farhi, S. Gutmann, and D. A. Spielman. Exponential algorithmic speedup by a quantum walk. In Proceedings of the Thirty-Fifth Annual ACM Symposium on Theory of Computing, pages 59-68, 2003.
5. K. Claessen. Embedded Languages for Describing and Verifying Hardware. PhD thesis, Chalmers University of Technology and Göteborg University, 2001.
6. D. Deutsch. Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London, Series A, 400(1818):97-117, 1985.
7. S. J. Gay. Quantum programming languages: Survey and bibliography. Mathematical Structures in Computer Science, 16(04):581-600, 2006.
8. S. Hallgren. Polynomial-time quantum algorithms for Pell's equation and the principal ideal problem. J. ACM, 54(1):4:1-4:19, Mar. 2007.
9. A. W. Harrow, A. Hassidim, and S. Lloyd. Quantum algorithm for linear systems of equations. Phys. Rev. Lett., 103(15):150502, 2009.
10. IARPA Quantum Computer Science Program. Broad Agency Announcement IARPA-BAA-10-02. Available from https://www.fbo.gov/notices/ 637e87ac1274d030ce2ab69339ccf93c, April 2010.
11. S. Jordan. http://math.nist.gov/quantum/zoo/. Electronic resource.
12. E. H. Knill. Conventions for quantum pseudocode. LANL report LAUR-96-2724, 1996.
13. F. Magniez, M. Santha, and M. Szegedy. Quantum algorithms for the triangle problem. quant-ph/0310134, 2003.
14. F. Magniez, M. Santha, and M. Szegedy. Quantum algorithms for the triangle problem. In Proceedings of the 16th annual ACM-SIAM symposium on Discrete algorithms, pages 1109-1117, 2005.
15. M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2002.
16. B. Ömer. Quantum programming in QCL. Master's thesis, Institute of Information Systems, Technical University of Vienna, 2000.
17. O. Regev. Quantum computation and lattice problems. SIAM J. Comput., 33(3):738-760, 2004.
18. P. Selinger and B. Valiron. A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science, 16(3):527-552, 2006.
19. P. Selinger and B. Valiron. Quantum lambda calculus. In S. Gay and I.Mackie, editors, Semantic Techniques in Quantum Computation, pages 135-172. Cambridge University Press, 2009.
20. T. Sheard and S. Peyton Jones. Template metaprogramming for Haskell. In Proc. Haskell Workshop, 2002.
21. P. Shor. Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings, 35th Annual Symposium on Foundations of Computer Science. CA: IEEE Press, 1994.
22. A. van Tonder. A lambda calculus for quantum computation. SIAM Journal of Computing, 33(5):1109-1135, 2004.
23. J. D. Whitfield, J. Biamonte, and A. Aspuru-Guzik. Simulation of electronic structure Hamiltonians using quantum computers. Molecular Physics, 109(5):735-750, 2011.