Quantum Arrows in Haskell

We argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and classical worlds. We discuss two alternative models for general and complete quantum computations based on probability distributions of quantum state vectors and on density matrices with classical outputs. We show that both models can be structured using a generalization of monads called arrows.

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry
• Keywords: Complete Quantum Computations, ENTCS 2008, Quantum Computations, Quantum State Vectors