Cited By
View all- Hirata KHeunen C(2025)Qurts: Automatic Quantum Uncomputation by Affine Types with LifetimeProceedings of the ACM on Programming Languages10.1145/37048429:POPL(155-182)Online publication date: 9-Jan-2025
- Zackon DSano CMomigliano APientka BStark KTimany ABlazy STabareau N(2025)Split Decisions: Explicit Contexts for Substructural LanguagesProceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3703595.3705888(257-271)Online publication date: 10-Jan-2025
- Lanese IDal Lago UChoudhury V(2024)Towards Quantum Multiparty Session TypesSoftware Engineering and Formal Methods10.1007/978-3-031-77382-2_22(385-403)Online publication date: 4-Nov-2024
- Show More Cited By