https://pldi21.sigplan.org/details/planqc-2021-papers/5/Toward-A-Quantum-Programming-Language-for-Higher-Level-Formal-Verification
Toward A Quantum Programming Language for Higher-Level Formal Verification (PLanQC 2021) - PLDI 2021
The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021) aims to bring together researchers from the fields of...
quantum programming languagehigher levelformal verificationtowardplanqc