An Introduction to Quantum Programming in Quipper-Reference-Cited by-同舟云学术

An Introduction to Quantum Programming in Quipper

Published:2013 Issue: Volume: Page:110-124
ISSN:0302-9743
Container-title:Reversible Computation
language:
Short-container-title:

Author:

Green Alexander S.,Lumsdaine Peter LeFanu,Ross Neil J.,Selinger Peter,Valiron Benoît

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-38986-3_10

Reference18 articles.

1. Aaronson, S., Gottesman, D.: Improved simulation of stabilizer circuits. Physical Review A 70(5), 052328 (2004), arXiv:quant-ph/0406196

2. Altenkirch, T., Green, A.S.: The Quantum IO Monad. In: Gay, S., Mackie, I. (eds.) Semantic Techniques in Quantum Computation, pp. 173–205. Cambridge University Press (2009)

3. Ambainis, A., Childs, A.M., Reichardt, B.W., Spalek, R., Zhang, S.: Any AND-OR formula of size n can be evaluated in time $n^{\frac12+o(1)}$ on a quantum computer. SIAM J. Comput. 39, 2513–2530 (2010)

4. Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: hardware design in Haskell. In: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, ICFP 1998, pp. 174–184. ACM, New York (1998), doi:10.1145/289423.289440

5. Childs, A.M., Cleve, R., Deotto, E., Farhi, E., Gutmann, S., Spielman, D.A.: Exponential algorithmic speedup by a quantum walk. In: Proceedings of the 35th Annual ACM Symposium on Theory of Computing, pp. 59–68 (2003)

Cited by 41 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing;ACM Transactions on Software Engineering and Methodology;2024-06-27

2. Scoped and Typed Staging by Evaluation;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

3. LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper;Lecture Notes in Computer Science;2024

4. A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting;Electronic Proceedings in Theoretical Computer Science;2023-11-16

5. Quantum Computing: Principles and Applications;SPIN;2023-09