Verified Optimization in a Quantum Intermediate Representation

Publication
Presented at the International Conference on Quantum Physics and Logic (QPL 2019)

We elected not to have this appear in the conference proceedings. See our POPL paper for a more complete version of this work.