Similar Items: Lazy Evaluation and Delimited Control
- Bisimulations for Delimited-Control Operators
- Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- LazyDINO: Fast, Scalable, and Efficiently Amortized Bayesian Inversion via Structure-Exploiting and Surrogate-Driven Measure Transport
- Lazy lossless compression by symbol lookahead invalidation in universal adaptive stream-based entropy coding
- Local Depth-Based Corrections to Maxmin Landmark Selection for Lazy Witness Persistence