"QWIRE: a core language for quantum circuits."

Jennifer Paykin, Robert Rand, Steve Zdancewic (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics