1. Andrej Bauer and Matija Pretnar . 2013 . An Effect System for Algebraic Effects and Handlers. In Algebra and Coalgebra in Computer Science - 5th International Conference , CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings(Lecture Notes in Computer Science, Vol. 8089) , Reiko Heckel and Stefan Milius (Eds.). Springer, 1–16. https://doi.org/10.1007/978-3-642-40206-7_1 10.1007/978-3-642-40206-7_1 Andrej Bauer and Matija Pretnar. 2013. An Effect System for Algebraic Effects and Handlers. In Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings(Lecture Notes in Computer Science, Vol. 8089), Reiko Heckel and Stefan Milius (Eds.). Springer, 1–16. https://doi.org/10.1007/978-3-642-40206-7_1
2. Dariusz Biernacki , Maciej Piróg , Piotr Polesiuk , and Filip Sieczkowski . 2020 . Binders by day, labels by night: effect instances via lexically scoped handlers . Proc. ACM Program. Lang. 4, POPL (2020), 48:1–48:29. https://doi.org/10.1145/3371116 10.1145/3371116 Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski. 2020. Binders by day, labels by night: effect instances via lexically scoped handlers. Proc. ACM Program. Lang. 4, POPL (2020), 48:1–48:29. https://doi.org/10.1145/3371116
3. Youyou Cong and Kenichi Asai . 2022. Understanding Algebraic Effect Handlers via Delimited Control Operators . In Trends in Functional Programming - 23rd International Symposium, TFP 2022 , Virtual Event, March 17-18, 2022, Revised Selected Papers(Lecture Notes in Computer Science, Vol. 13401), Wouter Swierstra and Nicolas Wu (Eds.). Springer , 59–79. https://doi.org/10.1007/978-3-031-21314-4_4 10.1007/978-3-031-21314-4_4 Youyou Cong and Kenichi Asai. 2022. Understanding Algebraic Effect Handlers via Delimited Control Operators. In Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers(Lecture Notes in Computer Science, Vol. 13401), Wouter Swierstra and Nicolas Wu (Eds.). Springer, 59–79. https://doi.org/10.1007/978-3-031-21314-4_4
4. Olivier Danvy and Andrzej Filinski . 1990 . Abstracting Control. In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990 , Nice, France , 27-29 June 1990, Gilles Kahn (Ed.). ACM, 151–160. https://doi.org/10.1145/91556.91622 10.1145/91556.91622 Olivier Danvy and Andrzej Filinski. 1990. Abstracting Control. In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990, Gilles Kahn (Ed.). ACM, 151–160. https://doi.org/10.1145/91556.91622
5. Delimited control and computational effects