Computation-by-Interaction with Effects
No abstract available.
Related papers
- Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification ECOOP 2023
- Modular Denotational Semantics for Effects with Guarded Interaction Trees POPL 2024
- Combining effects and coeffects via grading ICFP 2016
- Context-Dependent Effects in Guarded Interaction Trees ESOP 2025
- Information effects POPL 2012
- Programming and reasoning with algebraic effects and dependent types ICFP 2013
- Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging POPL 1993
- The geometry of parallelism: classical, probabilistic, and quantum effects POPL 2017