Cited By
View all- Zilberstein NSaliling ASilva A(2024)Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational EffectsProceedings of the ACM on Programming Languages10.1145/36498218:OOPSLA1(276-304)Online publication date: 29-Apr-2024
- Müller MSchuster PStarup JOstermann KBrachthäuser J(2023)From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect HandlersProceedings of the ACM on Programming Languages10.1145/36228317:OOPSLA2(941-970)Online publication date: 16-Oct-2023
- Nguyen MPerera RWang MRamsay SMcDonell TVazou N(2023)Effect Handlers for Programmable InferenceProceedings of the 16th ACM SIGPLAN International Haskell Symposium10.1145/3609026.3609729(44-58)Online publication date: 30-Aug-2023
- Show More Cited By