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.