Skip to the content.
quantumpl.github.io
Perhaps you are looking for the
Quantum PL & Verification Bibliography