Toward Certified Quantum Programming

POPL 2020