Brachthäuser, J. I., Schuster, P., & Ostermann, K. (2020). Effects as capabilities: effect handlers and lightweight effect polymorphism. Proc. ACM Program. Lang., 4(OOPSLA). https://doi.org/10.1145/3428194