Effect

References

• A Framework for Higher-Order Effects & Handlers. Birthe van den Berg, Tom Schrijvers. 2023.
• Polymorphic Iterable Sequential Effect Systems. Colin S. Gordon. 2021.
• SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs. Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez. 2021.
• Designing With Static Capabilities and Effects: Use, Mention, and Invariants. Colin S. Gordon. 2020.
• Sequential Effect Systems With Control Operators. Colin S. Gordon. 2020.
• Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-Effect System Semantics. Ohad Kammar, Dylan McDermott. 2018.
• Fibred Computational Effects. Danel Ahman. 2017.
• Programming With Algebraic Effects and Handlers. Andrej Bauer, Matija Pretnar. 2012.