Quantum arrows in Haskell

DOI10.1016/J.ENTCS.2008.04.023MaRDI QIDQ2870213zbMATH OpenOpenAlexFDO

Authors Antônio Carlos da Rocha Costa, Amr Sabry, Juliana Kaizer Vizzotto

Publication date 17 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.04.023

zbMATH Keywords

density matricesprobabilitiesquantum programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Quantum computation (81P68)

Recommendations

• Structuring quantum effects: superoperators as arrows
• The Arrow Calculus as a Quantum Programming Language
• The quantum IO monad
• Generalising monads to arrows
• A double effect -calculus for quantum computation

Cites work

• A new notation for arrows
• Communicating quantum processes
• Generalising monads to arrows
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 1424053 (Why is no real title available?)
• Notions of computation and monads
• Quantum computation by measurement and quantum memory
• Quantum programs with classical output streams (extended abstract)
• Structuring quantum effects: superoperators as arrows
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels

Cited in

(3)

• The quantum IO monad
• The Arrow Calculus as a Quantum Programming Language
• Structuring quantum effects: superoperators as arrows

Describes a project that uses

Uses Software

• QML
• Haskell

This page was built for publication: Quantum arrows in Haskell

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