Algebraic Effects, Linearity, and Quantum Programming Languages

DOI10.1145/2676726.2676999zbMath1345.68137OpenAlexW2117753869WikidataQ130922891 ScholiaQ130922891MaRDI QIDQ2819826

Sam Staton

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/139610

zbMATH Keywords

quantum computationmonadsalgebraic effects

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15)

Related Items (12)

Classical control and quantum circuits in enriched category theory ⋮ Universal Properties in Quantum Theory ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Unnamed Item ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Unnamed Item ⋮ Theory and practice of second-order rewriting: foundation, evolution, and SOL ⋮ Unnamed Item ⋮ Complete positivity and natural representation of quantum computations

This page was built for publication: Algebraic Effects, Linearity, and Quantum Programming Languages