Quantum Programming Languages (Informatik - Forschung und Entwicklung, 2006)
Dominique Unruh
[ eprint | official ]

We investigate the state of the art in the development of quantum programming languages. Two kinds of such languages are distinguished, those targeting at practical applications like simulation or the programming of actual quantum computers, and those targeting the theoretical analysis of quantum programs. We give an overview over existing work on both types and present open challenges yet to be resolved.