The Arrow Calculus as a Quantum Programming Language

Authors:
Juliana Kaizer Vizzotto;André Rauber Bois;Amr Sabry
Affiliations:
Mestrado em Nanociências, Centro Universitário Franciscano, Santa Maria, Brazil;PPGI, Universidade Católica de Pelotas, Pelotas, Brazil;Department of Computer Science, Indiana University, Bloomington, USA
Venue:
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Year:
2009

Citing 15
Cited 0

Computational lambda-calculus and monads

Proceedings of the Fourth Annual Symposium on Logic in computer science
Notions of computation and monads

Information and Computation
A fast quantum mechanical algorithm for database search

STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
Quantum circuits with mixed states

STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Generalising monads to arrows

Science of Computer Programming - Special issue on mathematics of program construction
Deriving backtracking monad transformers

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
A new notation for arrows

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Quantum computation and quantum information

Quantum computation and quantum information
A Lambda Calculus for Quantum Computation

SIAM Journal on Computing
Special issue on quantum programming languages

Mathematical Structures in Computer Science
Structuring quantum effects: superoperators as arrows

Mathematical Structures in Computer Science
An Algebra of Pure Quantum Programming

Electronic Notes in Theoretical Computer Science (ENTCS)
Applicative programming with effects

Journal of Functional Programming
Algorithms for quantum computation: discrete logarithms and factoring

SFCS '94 Proceedings of the 35th Annual Symposium on Foundations of Computer Science
The arrow calculus

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

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.