Paykin, Rand, Zdancewic, 2017. QWIRE: a core language for quantum circuits 52.. https://doi.org/10.1145/3093333.3009894