Cited By
View all- Carette JHeunen CKaarsgaard RSabry A(2024)How to Bake a Quantum ΠProceedings of the ACM on Programming Languages10.1145/36746258:ICFP(1-29)Online publication date: 15-Aug-2024
- Kidney DYang ZWu N(2024)Algebraic Effects Meet Hoare Logic in Cubical AgdaProceedings of the ACM on Programming Languages10.1145/36328988:POPL(1663-1695)Online publication date: 5-Jan-2024
- Carette JHeunen CKaarsgaard RSabry A(2024)With a Few Square Roots, Quantum Computing Is as Easy as PiProceedings of the ACM on Programming Languages10.1145/36328618:POPL(546-574)Online publication date: 5-Jan-2024
- Show More Cited By