Quantum computing is the latest revolution in computing and will probably come to be seen
as an advance as important as the steam engine or the information society. In the last few …

Quantum programming languages are essential to translate ideas into instructions that can
be executed by a quantum computer. Not only are they crucial to the programming of …

Quantum software plays a critical role in exploiting the full potential of quantum computing
systems. As a result, it has been drawing increasing attention recently. This paper defines …

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

The ability to incorporate quantum phenomena in computing unlocks a host of new ways to
make mistakes. This work surveys existing studies and approaches to debugging quantum …

Modern quantum programming languages integrate quantum resources and classical
control. They must, on the one hand, be linearly typed to reflect the no-cloning property of …

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 …

Quipper is a functional programming language for quantum computing. Proto-Quipper is a
family of languages aiming to provide a formal foundation for Quipper. In this paper, we …

We introduce dependently typed Proto-Quipper, or Proto-Quipper-D for short, an
experimental quantum circuit programming language with linear dependent types. We give …

While recent progress in quantum hardware open the door for significant speedup in certain
key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantum …