Cited By
View all- Bao JD'Osualdo EFarzan A(2025)Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic ReasoningProceedings of the ACM on Programming Languages10.1145/37048949:POPL(1719-1749)Online publication date: 9-Jan-2025
- Correnson AFinkbeiner B(2025)Coinductive Proofs for Temporal HyperlivenessProceedings of the ACM on Programming Languages10.1145/37048899:POPL(1568-1595)Online publication date: 9-Jan-2025
- Stassen PMøgelberg RZwart MAguirre ABirkedal L(2025)Modelling Recursion and Probabilistic Choice in Guarded Type TheoryProceedings of the ACM on Programming Languages10.1145/37048849:POPL(1417-1445)Online publication date: 9-Jan-2025
- Show More Cited By