1. Handling fibred algebraic effects
2. Reflections on reflections
3. Programming with algebraic effects and handlers
4. Dariusz Biernacki , Mateusz Pyzik , and Filip Sieczkowski . 2020 . A Reflection on Continuation-Composing Style . In Proceedings of 5th International Conference on Formal Structures for Computation and Deduction (FSCD ’20) . Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. Dariusz Biernacki, Mateusz Pyzik, and Filip Sieczkowski. 2020. A Reflection on Continuation-Composing Style. In Proceedings of 5th International Conference on Formal Structures for Computation and Deduction (FSCD ’20). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.
5. Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory