Qwerty: A Basis-Oriented Quantum Programming Language - Adams, Austin J (arXiv.org)