There are three quantum PL and verification related papers being presented at POPL 2022:
- Qunity: A Unified Language for Quantum and Classical Computing by Finn Voichick, Liyi Li, Robert Rand, Michael Hicks
- Proto-Quipper with Dynamic Lifting by Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
- CoqQ: Foundational Verification of Quantum Programs by Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
All these papers including their appendices and expanded versions are available in the bibliography.