Quantum computing (QC) introduces a novel mode of computation with the possibility of
greater computational power that remains to be exploited—presenting exciting opportunities …

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

Quantum computation is inevitably subject to imperfections in its implementation. These
imperfections arise from various sources, including environmental noise at the hardware …

A key challenge of quantum programming is uncomputation: the reversible deallocation of
qubits. And while there has been much recent progress on automating uncomputation, state …

Quantum algorithms for tasks such as factorization, search, and simulation rely on control
flow such as branching and iteration that depends on the value of data in superposition …

Numerous quantum algorithms require the use of quantum error correction to overcome the
intrinsic unreliability of physical qubits. However, quantum error correction imposes a unique …

Quantum computing exposes the brilliance of quantum mechanics through computer
science (in theory and otherwise), giving oneself a marvelous and exhilarating journey to go …

Thanks to the rapid progress and growing complexity of quantum algorithms, correctness of
quantum programs has become a major concern. Pioneering research over the past years …

In principle, the design and implementation of quantum programming languages are the
same essential tasks as for conventional (classical) programming languages. High-level …

We construct a computationally universal quantum programming language Quantum Π from
two copies of Π, the internal language of rig groupoids. The first step constructs a pure …