Effects as capabilities: effect handlers and lightweight effect polymorphism - Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus (Proc. ACM Program. Lang., 2020)