Home
Scholarly Works
Quantum Arrows in Haskell
Journal article

Quantum Arrows in Haskell

Abstract

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.

Authors

Vizzotto JK; da Rocha Costa AC; Sabry A

Journal

Electronic Notes in Theoretical Computer Science, Vol. 210, , pp. 139–152

Publisher

Elsevier

Publication Date

July 11, 2008

DOI

10.1016/j.entcs.2008.04.023

ISSN

1571-0661

Contact the Experts team