Tag
continuations
- Aug 6, 2026 Abstract Machines: The CEK, the Krivine Machine, and Closure Conversion How an evaluator becomes an explicit state machine with a control string, an environment, and a continuation, and what each of the three registers costs. computation theory
- Jul 8, 2026 Growable Stacks and Reduction Budgets in Coroutine Runtimes How a runtime gives each coroutine its own stack segment, why segmented and copied stacks differ, and how a preemption counter bounds the work a coroutine can do. programming languages
- Apr 13, 2023 Resumable Frames for Generators and Coroutines Why a generator cannot keep its state on the machine stack, how its frame is moved to the heap, and what suspension costs in copying and in bookkeeping. language runtimes