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.