A Brief Survey of Quantum Programming Languages-Reference-Cited by-同舟云学术

A Brief Survey of Quantum Programming Languages

Published:2004 Issue: Volume: Page:1-6
ISSN:0302-9743
Container-title:Functional and Logic Programming
language:
Short-container-title:

Author:

Selinger Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24754-8_1

Reference17 articles.

1. ENTCS;S. Abramsky,2003

2. Bettelli, S., Calarco, T., Serafini, L.: Toward an architecture for quantum programming. arXiv:cs.PL/0103009 v2 (November 2001)

3. Cleve, R.: An introduction to quantum complexity theory. In: Macchiavello, C., Palma, G., Zeilinger, A. (eds.) Collected Papers on Quantum Computation and Quantum Information Theory, pp. 103–127. World Scientific, Singapore (2000)

4. Coecke, B., Martin, K.: A partial order on classical and quantum states. Technical report, Oxford University Computing Laboratory (2002) PRG-RR-02-07

5. Edalat, A.: An extension of Gleason’s theorem for quantum computation (2003), http://www.doc.ic.ac.uk/~ae/papers.html

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

1. Circuit Width Estimation via Effect Typing and Linear Dependency;Lecture Notes in Computer Science;2024

2. Quantum Programming Taxonomy;2022 Ninth International Conference on Software Defined Systems (SDS);2022-12-12

3. Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

4. Quantum computing: A taxonomy, systematic review and future directions;Software: Practice and Experience;2021-10-07

5. A Repeated Mistake is a Choice: Considering Security Issues and Risks in Quantum Computing from Scratch;14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational (CISIS 2021 and ICEUTE 2021);2021-09-22