Tracking Errors through Types in Quantum Programs

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