J. Carette, C. Heunen, R. Kaarsgaard, A. Sabry. With a Few Square Roots, Quantum Computing Is as Easy as Pi. PACMPL 8 (POPL), Article No.: 19, pp. 546 - 574, 2024
ACM Digital Library (open access): https://dl.acm.org/doi/10.1145/3632861
follow up to #12
Submitted 9/11/25, 3:12 AM via google form