Verified translation between low-level quantum languages

Kartik Singhal, Robert Rand, Michael Hicks
January 2020
PDF Cite Slides Video
Type
Workshop paper
Publication
International Workshop on Programming Languages for Quantum Computing (PLanQC 2020)

Merged talk with A Verified Optimizer for Quantum Programs.