A lambda calculus for quantum computation with classical control
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
Journal of the ACM (JACM)
An Algebra of Pure Quantum Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
From Reversible to Irreversible Computations
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Data and Control Made Easier
Electronic Notes in Theoretical Computer Science (ENTCS)
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
On a measurement-free quantum lambda calculus with classical control
Mathematical Structures in Computer Science
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Programming with Quantum Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Imperative Quantum Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
An Overview of QML With a Concrete Implementation in Haskell
Electronic Notes in Theoretical Computer Science (ENTCS)
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
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)
Reversing algebraic process calculi
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
A lambda calculus for quantum computation with classical control
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Quantum predicative programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
A reversible abstract machine and its space overhead
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Quantum walks: a comprehensive review
Quantum Information Processing
Taming non-compositionality using new binders
UC'07 Proceedings of the 6th international conference on Unconventional Computation
Describing and optimising reversible logic using a functional language
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
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
On Block Structures in Quantum Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.01 |
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category F QC of finite quantum computations, which provides a constructive semantics of irreversible quantum computations realisable as quantum gates. QML integrates reversible and irreversible quantum computations in one language, using first order strict linear logic to make weakenings explicit. Strict programs are free from decoherence and hence preserve superpositions and entanglement -- which is essential for quantum parallelism.