Cited By
View all- Timany ABirkedal L(2019)Mechanized relational verification of concurrent programs with continuationsProceedings of the ACM on Programming Languages10.1145/33417093:ICFP(1-28)Online publication date: 26-Jul-2019
- Song YFoo DChin W(2024)Specification and Verification for Unrestricted Algebraic Effects and HandlingProceedings of the ACM on Programming Languages10.1145/36746568:ICFP(909-937)Online publication date: 15-Aug-2024
- de Vilhena PPottier F(2021)A separation logic for effect handlersProceedings of the ACM on Programming Languages10.1145/34343145:POPL(1-28)Online publication date: 4-Jan-2021
- Show More Cited By