Adequacy for Algebraic Effects Revisited

G. A. Kavvos. Adequacy for Algebraic Effects Revisited. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):927-955, 2025. [doi]

Abstract

Abstract is missing.