Email Record: Foundations of quantum programming /