The Arrow Calculus as a Quantum Programming Language

Details The Arrow Calculus as a Quantum Programming Language The Arrow Calculus as a Quantum Programming Language

2009-03-09

arxiv.org/abs/0903.1489v2

Physics

Quantum Physics

15 pages, 1 figure, submitted to WOLLIC 2009

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

The Arrow Calculus as a Quantum Programming Language does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The Arrow Calculus as a Quantum Programming Language, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Arrow Calculus as a Quantum Programming Language will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-95430