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 (EWIRE) 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