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)

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

Mathematics Subject Classification ID

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

Cited In (11)

• An overview of QML with a concrete implementation 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
• FJQuantum. A quantum object oriented language
• Notions of computation as monoids
• Quantum Hoare type theory: extended abstract
• From reversible to irreversible computations
• Quantum arrows in Haskell
• Categorical semantics for arrows
• The quantum IO monad

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)