Algebraic Effects, Linearity, and Quantum Programming Languages

@inproceedings{Staton2015AlgebraicEL,
  title={Algebraic Effects, Linearity, and Quantum Programming Languages},
  author={Sam Staton},
  booktitle={POPL},
  year={2015}
}
We develop a new framework of algebraic theories with linear parameters, and use it to analyze the equational reasoning principles of quantum computing and quantum programming languages. We use the framework as follows: we present a new elementary algebraic theory of quantum computation, built from unitary gates and measurement; we provide a completeness… CONTINUE READING

Topics

Statistics

051015201620172018
Citations per Year

Citation Velocity: 8

Averaging 8 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.