Quantum Arrows in Haskell

DOI10.1016/j.entcs.2008.04.023zbMath1279.68047OpenAlexW1998570038MaRDI QIDQ2870213

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

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

Uses Software

• Haskell
• QML

Cites Work

• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Generalising monads to arrows
• Quantum computation by measurement and quantum memory
• Quantum Programs With Classical Output Streams
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• A new notation for arrows
• Communicating quantum processes
• Structuring quantum effects: superoperators as arrows

This page was built for publication: Quantum Arrows in Haskell