Structuring quantum effects: superoperators as arrows

DOI10.1017/S0960129506005287zbMATH Open1122.68062WikidataQ61583917 ScholiaQ61583917MaRDI QIDQ5482270FDOQ5482270

Authors Thorsten Altenkirch, Amr Sabry, Juliana Kaizer Vizzotto

Publication date 28 August 2006

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Recommendations

• Quantum arrows in Haskell
• The Arrow Calculus as a Quantum Programming Language
• A double effect \(\lambda \)-calculus for quantum computation
• The quantum IO monad
• An overview of QML with a concrete implementation in Haskell

Cited in

(11)

• Quantum arrows in Haskell
• Modelling parallel quantum computing using transactional memory
• Quantum circuits: from a network to a one-way model
• The Arrow Calculus as a Quantum Programming Language
• Quantum Hoare type theory: extended abstract
• The quantum IO monad
• An overview of QML with a concrete implementation in Haskell
• Categorical semantics for arrows
• FJQuantum. A quantum object oriented language
• From reversible to irreversible computations
• Notions of computation as monoids

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Structuring quantum effects: superoperators as arrows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5482270)