Cited By
View all- Yoshioka TSekiyama TIgarashi A(2024)Abstracting Effect Systems for Algebraic Effect HandlersProceedings of the ACM on Programming Languages10.1145/36746418:ICFP(455-484)Online publication date: 15-Aug-2024
- Tang WHillerström DLindley SMorris J(2024)Soundly Handling LinearityProceedings of the ACM on Programming Languages10.1145/36328968:POPL(1600-1628)Online publication date: 5-Jan-2024
- Sieczkowski FPyzik MBiernacki D(2023)A General Fine-Grained Reduction Theory for Effect HandlersProceedings of the ACM on Programming Languages10.1145/36078487:ICFP(511-540)Online publication date: 31-Aug-2023
- Show More Cited By