nLab Sam Staton

webpage

Selected writings

On the foundation of quantum programming languages:

Sam Staton, Algebraic Effects, Linearity, and Quantum Programming Languages, POPL ‘15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2015) [doi:10.1145/2676726.2676999, pdf]

On quantum programming languages for quantum circuits as domain specific embedded programming languages:

Mathys Rennela, Sam Staton, Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory, Logical Methods in Computer Science 16 1 (2020) [arXiv:1711.05159, doi:10.23638/LMCS-16(1:30)2020]

Related entries

deferred measurement principle

category: people

Last revised on October 29, 2022 at 18:46:14. See the history of this page for a list of all contributions to it.