Toward A Quantum Programming Language for Higher-Level Formal Verification

Finn Voichick, Michael Hicks

Appearing at PLanQC: Programming Languages for Quantum Computing