Effect

Contents

References

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