QWIRE: a core language for quantum circuits.

Jennifer Paykin, Robert Rand, Steve Zdancewic

Browse the full POPL paper archive.