Theoretical Computer Science
A fast quantum mechanical algorithm for database search
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
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
Toward a quantum process algebra
Proceedings of the 1st conference on Computing frontiers
Toward Intelligent Agents on Quantum Computers
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Communicating quantum processes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Structuring quantum effects: superoperators as arrows
Mathematical Structures in Computer Science
Quantum programming languages: survey and bibliography
Mathematical Structures in Computer Science
Classically controlled quantum computation
Mathematical Structures in Computer Science
Journal of the ACM (JACM)
An Algebra of Pure Quantum Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulating and Compiling Code for the Sequential Quantum Random Access Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Patterns and Types for Entanglement and Separability
Electronic Notes in Theoretical Computer Science (ENTCS)
Dagger Compact Closed Categories and Completely Positive Maps
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Programs With Classical Output Streams
Electronic Notes in Theoretical Computer Science (ENTCS)
Commutativity of quantum weakest preconditions
Information Processing Letters
Proof rules for the correctness of quantum programs
Theoretical Computer Science
Probabilistic bisimulations for quantum processes
Information and Computation
Programming and simulation of quantum search agents
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A Quantum Game Semantics for the Measurement Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
From Reversible to Irreversible Computations
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Data and Control Made Easier
Electronic Notes in Theoretical Computer Science (ENTCS)
Idempotents in Dagger Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
On a Fully Abstract Model for a Quantum Linear Functional Language
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
Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Game Semantics for Quantum Stores
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchy of Quantum Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
An algebra of quantum processes
ACM Transactions on Computational Logic (TOCL)
A Symbolic Classical Computer Language for Simulation of Quantum Algorithms
QI '09 Proceedings of the 3rd International Symposium on Quantum Interaction
On a measurement-free quantum lambda calculus with classical control
Mathematical Structures in Computer Science
Approximating Markov Processes by Averaging
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Distributed Quantum Programming
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Programming with Quantum Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum implicit computational complexity
Theoretical Computer Science
Classically-controlled Quantum Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Natural Quantum Operational Semantics with Predicates
International Journal of Applied Mathematics and Computer Science - Selected Problems of Computer Science and Control
Quantum circuit oracles for Abstract Machine computations
Theoretical Computer Science
A linear-non-linear model for a computational call-by-value lambda calculus
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Generalised quantum weakest preconditions
Quantum Information Processing
Towards a typed geometry of interaction
Mathematical Structures in Computer Science
Measurement-based and universal blind quantum computation
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
On the completeness of quantum computation models
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Bisimulation for quantum processes
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Overview of QML With a Concrete Implementation in Haskell
Electronic Notes in Theoretical Computer Science (ENTCS)
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Confluence Results for a Quantum Lambda Calculus with Measurements
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebra of Automata That Includes Both Classical and Quantum Entities
Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations of quantum programming
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
The search for structure in quantum computation
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
A formal approach to unconditional security proofs for quantum key distribution
UC'11 Proceedings of the 10th international conference on Unconventional computation
Floyd--hoare logic for quantum programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Problems of adiabatic quantum program design
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
The one way to quantum computation
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
A logic for formal verification of quantum programs
ASIAN'09 Proceedings of the 13th Asian conference on Advances in Computer Science: information Security and Privacy
From quantum physics to programming languages: a process algebraic approach
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
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
Quantum predicative programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Quantum walks: a comprehensive review
Quantum Information Processing
Reachability and termination analysis of concurrent quantum programs
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Equivalence checking of quantum protocols
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
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
Reachability probabilities of quantum markov chains
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Applying quantitative semantics to higher-order quantum computing
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
On Block Structures in Quantum Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
We propose the design of a programming language for quantum computing. Traditionally, quantum algorithms are frequently expressed at the hardware level, for instance in terms of the quantum circuit model or quantum Turing machines. These approaches do not encourage structured programming or abstractions such as data types. In this paper, we describe the syntax and semantics of a simple quantum programming language with high-level features such as loops, recursive procedures, and structured data types. The language is functional in nature, statically typed, free of run-time errors, and has an interesting denotational semantics in terms of complete partial orders of superoperators.