The Arrow Calculus as a Quantum Programming Language
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2009
- DOI:
- 10.48550/arXiv.0903.1489
- arXiv:
- arXiv:0903.1489
- Bibcode:
- 2009arXiv0903.1489K
- Keywords:
-
- Quantum Physics
- E-Print:
- 15 pages, 1 figure, submitted to WOLLIC 2009