Highly Influenced

@inproceedings{Staton2015AlgebraicEL, title={Algebraic Effects, Linearity, and Quantum Programming Languages}, author={Sam Staton}, booktitle={POPL}, year={2015} }

- Published 2015 in POPL
DOI:10.1145/2676726.2676999

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

Citations per Year

Averaging **8 citations** per year over the last 3 years.

### Presentations referencing similar topics