TY  - RPRT
TI  - Verified Optimization in a Quantum Intermediate Representation
AU  - Kesha Hietala
AU  - Robert Rand
AU  - Shih-Han Hung
AU  - Xiaodi Wu
AU  - Michael Hicks
PY  - 2019
UR  - https://arxiv.org/abs/1904.06319
ID  - 1904.06319
ER  -