Noam Zilberstein, Angelina Saliling, Alexandra Silva 0001. Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. Proceedings of the ACM on Programming Languages, 8(OOPSLA1):276-304, 2024. [doi]
Abstract is missing.