Worlds: Controlling the Scope of Side Effects
Abstract elided by the publisher.
Related papers
- Using Data Groups to Specify and Check Side Effects PLDI 2002
- Statically Analyzing the Dataflow of R Programs OOPSLA 2025
- IRIDIUM: A Framework for Statically Optimizing JavaScript Programs OOPSLA 2026
- The anatomy of a loop: a story of scope and control ICFP 2005
- Program Synthesis from Partial Traces PLDI 2025
- Taming Effects with Monadic Typing ICFP 1998
- Shifting the stage - Staging with delimited control JFP 2011
- Contextual values DLS 2008