Software Tools & Verification Charles Yuan
26 | Abstractions Are Bridges Toward Quantum Programming
In this talk, I present abstractions that help classical developers reason about the quantum world, with the goal of designing expressive and sound tools for quantum programming.