Algebraic Effects, Linearity, and Quantum Programming Languages

DOI10.1145/2676726.2676999zbMath1345.68137OpenAlexW2117753869MaRDI 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

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