Invited Talk: From Verified Compilation to Shor's Algorithm

Michael Hicks

Appearing at PLanQC: Programming Languages for Quantum Computing