The field of quantum algorithms is vibrant. Still, there is currently a lack of programming
languages for describing quantum computation on a practical scale, ie, not just at the level of …

This paper introduces QWIRE (``choir''), a language for defining quantum circuits and an
interface for manipulating them inside of an arbitrary classical host language. QWIRE is …

Languages, compilers, and computer-aided design tools will be essential for scalable
quantum computing, which promises an exponential leap in our ability to execute complex …

Quantum computers promise dramatic advantages in processing speed over currently
available computer systems. Quantum computing offers great promise in a wide variety of …

We report a deterministic and exact protocol to reverse any unknown qubit-unitary operation,
which simulates the time inversion of a closed qubit system. To avoid known no-go results …

Higher-order quantum theory is an extension of quantum theory where one introduces
transformations whose input and output are transformations, thus generalizing the notion of …

We introduce Qunity, a new quantum programming language designed to treat quantum
computing as a natural generalization of classical computing. Qunity presents a unified …

We describe an embedding of the QWIRE quantum circuit language in the Coq proof
assistant. This allows programmers to write quantum circuits using high-level abstractions …

Finding a denotational semantics for higher order quantum computation is a long-standing
problem in the semantics of quantum programming languages. Most past approaches to this …

Q# is a standalone domain-specific programming language from Microsoft for writing and
running quantum programs. Like most industrial languages, it was designed without a formal …