Phantom Types for Quantum Programs

Robert Rand, Jennifer Paykin, Steve Zdancewic
January 2018
PDF Cite Slides Video
Type
Workshop paper
Publication
International Workshop on Coq for Programming Languages (CoqPL 2018)