Foundations of Quantum Programming