Q*: Implementing Quantum Separation Logic in F*

Kesha Hietala, Sarah Marshall, Robert Rand, Nikhil Swamy
September 2022
PDF Cite Code Slides Video
Type
Workshop paper
Publication
The Third International Workshop on Programming Languages for Quantum Computing (PLanQC 2022)