quantum algorithm

Reasoning about General Quantum Programs over Mixed States

In this work we present a functional programming language for quantum computation over mixed states. More interestingly, we develop a set of equations for the resulting programming language, proposing the first framework for equational reasoning …

The Arrow Calculus as a Quantum Programming Language

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 …

A Brief Survey of Quantum Programming Languages

This article is a brief and subjective survey of quantum programming language research.