@inproceedings(Silq,
 author       = {Benjamin Bichsel and Maximilian Baader and Timon Gehr and Martin Vechev},
 year         = {2020},
 title        = {Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics},
 booktitle    = {Proc. PLDI '20},
 pages        = {286\IeC{\textendash}300},
 doi          = {10.1145/3385412.3386007},
 url          = {https://files.sri.inf.ethz.ch/website/papers/pldi20-silq.pdf},
)
@article(bravyi2006ghz,
 author       = {Sergey Bravyi and David Fattal and Daniel Gottesman},
 year         = {2006},
 title        = {GHZ extraction yield for multipartite stabilizer states},
 journal      = {J. Math. Phys.},
 volume       = {47},
 number       = {6},
 pages        = {062106},
 doi          = {10.1063/1.2203431},
 url          = {https://arxiv.org/abs/quant-ph/0504208},
)
@article(cleve1997efficient,
 author       = {Richard Cleve and Daniel Gottesman},
 year         = {1997},
 title        = {Efficient Computations of Encodings for Quantum Error Correction},
 journal      = {Phys. Rev. A},
 volume       = {56},
 pages        = {76--82},
 doi          = {10.1103/PhysRevA.56.76},
 url          = {https://arxiv.org/abs/quant-ph/9607030},
)
@article(colladay2018rewiring,
 author       = {Kristina R Colladay and Erich J Mueller},
 year         = {2018},
 title        = {Rewiring Stabilizer Codes},
 journal      = {New Journal of Physics},
 volume       = {20},
 number       = {8},
 pages        = {083030},
 doi          = {10.1088/1367-2630/aad8dd},
 url          = {https://arxiv.org/abs/1707.09403},
)
@misc(fattal2004entanglement,
 author       = {David Fattal and Toby S Cubitt and Yoshihisa Yamamoto and Sergey Bravyi and Isaac L Chuang},
 year         = {2004},
 title        = {Entanglement in the stabilizer formalism},
 howpublished = {arXiv preprint},
 url          = {https://arxiv.org/abs/quant-ph/0406168},
)
@article(gottesman1996class,
 author       = {Daniel Gottesman},
 year         = {1996},
 title        = {Class of quantum error-correcting codes saturating the quantum Hamming bound},
 journal      = {Phys. Rev. A},
 volume       = {54},
 number       = {3},
 pages        = {1862\IeC{\textendash}1868},
 doi          = {10.1103/physreva.54.1862},
 url          = {https://arxiv.org/abs/quant-ph/9604038},
)
@inproceedings(Gottesman1998,
 author       = {Daniel Gottesman},
 year         = {1998},
 title        = {{The Heisenberg Representation of Quantum Computers}},
 booktitle    = {{Group22: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics}},
 pages        = {32--43},
 url          = {https://arxiv.org/abs/quant-ph/9807006},
)
@inproceedings(Green2013,
 author       = {Alexander S. Green and Peter LeFanu Lumsdaine and Neil J. Ross and Peter Selinger and Beno{\^{i}}t Valiron},
 year         = {2013},
 title        = {Quipper: A Scalable Quantum Programming Language},
 booktitle    = {Proc. PLDI '13},
 pages        = {333--342},
 doi          = {10.1145/2491956.2462177},
 url          = {https://arxiv.org/abs/1304.3390},
)
@inproceedings(Honda2015,
 author       = {Kentaro Honda},
 year         = {2015},
 title        = {Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism},
 booktitle    = {Proc. QPL '15},
 pages        = {262--272},
 doi          = {10.4204/EPTCS.195.19},
)
@article(knill2005quantum,
 author       = {E. Knill},
 year         = {2005},
 title        = {Quantum computing with realistically noisy devices},
 journal      = {Nature},
 volume       = {434},
 number       = {7029},
 pages        = {39--44},
 doi          = {10.1038/nature03350},
 url          = {https://arxiv.org/abs/quant-ph/0410199},
)
@article(van2005local,
 author       = {Van den Nest, Maarten and Jeroen Dehaene and De Moor, Bart},
 year         = {2005},
 title        = {Local unitary versus local Clifford equivalence of stabilizer states},
 journal      = {Phys. Rev. A},
 volume       = {71},
 pages        = {062323},
 doi          = {10.1103/PhysRevA.71.062323},
 url          = {https://arxiv.org/abs/quant-ph/0411115},
)
@book(Nielsen2010,
 author       = {Michael A. Nielsen and Isaac L. Chuang},
 year         = {2010},
 title        = {Quantum Computation and Quantum Information: 10th Anniversary Edition},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511976667},
)
@article(paetznick2013universal,
 author       = {Adam Paetznick and Ben W. Reichardt},
 year         = {2013},
 title        = {Universal Fault-Tolerant Quantum Computation with Only Transversal Gates and Error Correction},
 journal      = {Phys. Rev. Lett.},
 volume       = {111},
 pages        = {090505},
 doi          = {10.1103/PhysRevLett.111.090505},
 url          = {https://arxiv.org/abs/1304.3709},
)
@article(Perdrix2007,
 author       = {Simon Perdrix},
 year         = {2007},
 title        = {Quantum Patterns and Types for Entanglement and Separability},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {170},
 pages        = {125--138},
 doi          = {10.1016/j.entcs.2006.12.015},
 note         = {Proc. QPL '05},
)
@inproceedings(Perdrix2008,
 author       = {Simon Perdrix},
 year         = {2008},
 title        = {Quantum Entanglement Analysis Based on Abstract Interpretation},
 booktitle    = {Static Analysis},
 pages        = {270--282},
 doi          = {10.1007/978-3-540-69166-2_18},
 url          = {https://arxiv.org/abs/0801.4230},
)
@book(Pierce:TypeSystems,
 author       = {Benjamin C. Pierce},
 year         = {2002},
 title        = {Types and Programming Languages},
 publisher    = {MIT Press},
)
@inproceedings(Rand2018,
 author       = {Robert Rand and Jennifer Paykin and Dong-Ho Lee and Steve Zdancewic},
 year         = {2018},
 title        = {Re{QWIRE}: Reasoning about Reversible Quantum Circuits},
 booktitle    = {Proc. QPL '18},
 pages        = {299--312},
 doi          = {10.4204/EPTCS.287.17},
)
@article(Sabelfeld2003,
 author       = {A. Sabelfeld and A. C. Myers},
 year         = {2006},
 title        = {Language-based information-flow Security},
 journal      = {IEEE J. Sel. Areas Commun.},
 volume       = {21},
 number       = {1},
 pages        = {5--19},
 doi          = {10.1109/JSAC.2002.806121},
 url          = {https://www.cs.cornell.edu/andru/papers/jsac/sm-jsac03.pdf},
)
@article(steane1997active,
 author       = {A. M. Steane},
 year         = {1997},
 title        = {Active Stabilization, Quantum Computation, and Quantum State Synthesis},
 journal      = {Phys. Rev. Lett.},
 volume       = {78},
 pages        = {2252--2255},
 doi          = {10.1103/PhysRevLett.78.2252},
 url          = {https://arxiv.org/abs/quant-ph/9611027},
)
@inproceedings(Svore2018,
 author       = {Krysta Svore and Alan Geller and Matthias Troyer and John Azariah and Christopher Granade and Bettina Heim and Vadym Kliuchnikov and Mariia Mykhailova and Andres Paz and Martin Roetteler},
 year         = {2018},
 title        = {Q\#: Enabling Scalable Quantum Computing and Development with a High-level DSL},
 booktitle    = {Proc. Real World Domain Specific Languages Workshop (RWDSL) 2018},
 pages        = {7:1--7:10},
 doi          = {10.1145/3183895.3183901},
 url          = {https://arxiv.org/abs/1803.00652},
)
@misc(yoder2017universal,
 author       = {Theodore J. Yoder},
 year         = {2017},
 title        = {Universal fault-tolerant quantum computation with Bacon-Shor codes},
 howpublished = {arXiv preprint},
 url          = {https://arxiv.org/abs/1705.01686},
)