The Arrow Calculus as a Quantum Programming Language
Quantum Physics
2009-04-11 v2
Abstract
We express quantum computations (with measurements) using the arrow calculus extended with monadic constructions. This framework expresses quantum programming using well-understood and familiar classical patterns for programming in the presence of computational effects. In addition, the five laws of the arrow calculus provide a convenient framework for equational reasoning about quantum computations that include measurements.
Cite
@article{arxiv.0903.1489,
title = {The Arrow Calculus as a Quantum Programming Language},
author = {Juliana Kaizer Vizzotto and Andre Rauber Du Bois and Amr Sabry},
journal= {arXiv preprint arXiv:0903.1489},
year = {2009}
}
Comments
15 pages, 1 figure, submitted to WOLLIC 2009