Quantum programming languages have been introduced
about twenty years ago mainly from a theoretical
perspective. Nowadays, several efforts have been devoted to
the construction of real quantum architectures. We can
therefore map the theoretical findings into concrete
In this lecture, we will introduce the notions at the basis of
high-level quantum programming and show some examples
of quantum programs by using existing platforms.