Foundations of Quantum Programming (Extended Abstract).

Mingsheng Ying

Browse the full APLAS paper archive.