STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
A fast quantum mechanical algorithm for database search
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
SIAM Journal on Computing
An introduction to quantum computing for non-physicists
ACM Computing Surveys (CSUR)
Quantum computation and quantum information
Quantum computation and quantum information
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Modeling quantum computing in Haskell
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Structure and interpretation of quantum mechanics: a functional framework
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Using HDLs for describing quantum circuits: a framework for efficient quantum algorithm simulation
Proceedings of the 1st conference on Computing frontiers
Toward a quantum process algebra
Proceedings of the 1st conference on Computing frontiers
ACM SIGACT News - A special issue on cryptography
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Towards a quantum programming language
Mathematical Structures in Computer Science
High-Level Methods for Quantum Computation and Information
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
A Categorical Semantics of Quantum Protocols
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Communicating quantum processes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Functional Quantum Programming Language
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Acta Informatica
Weakly complete axiomatization of exogenous quantum propositional logic
Information and Computation
A lambda calculus for quantum computation with classical control
Mathematical Structures in Computer Science
Relations among quantum processes: bisimilarity and congruence
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Types and typechecking for Communicating Quantum Processes
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Structuring quantum effects: superoperators as arrows
Mathematical Structures in Computer Science
LQP: the dynamic logic of quantum information
Mathematical Structures in Computer Science
Quantum computing and abstract state machines
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A lambda calculus for quantum computation with classical control
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Abstract scalars, loops, and free traced and strongly compact closed categories
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Probabilistic bisimulations for quantum processes
Information and Computation
Quantum Data and Control Made Easier
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Entanglement Analysis Based on Abstract Interpretation
SAS '08 Proceedings of the 15th international symposium on Static Analysis
A Hierarchy of Quantum Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
A Symbolic Classical Computer Language for Simulation of Quantum Algorithms
QI '09 Proceedings of the 3rd International Symposium on Quantum Interaction
Quantum implicit computational complexity
Theoretical Computer Science
Generalised quantum weakest preconditions
Quantum Information Processing
An Overview of QML With a Concrete Implementation in Haskell
Electronic Notes in Theoretical Computer Science (ENTCS)
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations of quantum programming
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Floyd--hoare logic for quantum programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Quantum walks: a comprehensive review
Quantum Information Processing
Equivalence checking of quantum protocols
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Quipper: a scalable quantum programming language
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
QuaFL: a typed DSL for quantum programming
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages
Abstract resource cost derivation for logical quantum circuit descriptions
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages
An introduction to quantum programming in quipper
RC'13 Proceedings of the 5th international conference on Reversible Computation
On Block Structures in Quantum Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
The field of quantum programming languages is developing rapidly and there is a surprisingly large literature. Research in this area includes the design of programming languages for quantum computing, the application of established semantic and logical techniques to the foundations of quantum mechanics, and the design of compilers for quantum programming languages. This article justifies the study of quantum programming languages, presents the basics of quantum computing, surveys the literature in quantum programming languages, and indicates directions for future research.