Structuring quantum effects: superoperators as arrows

DOI10.1017/S0960129506005287MaRDI QIDQ5482270zbMATH OpenWikidataFDO

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)

• 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
• FJQuantum. A quantum object oriented language
• The Arrow Calculus as a Quantum Programming 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

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)