Tag
graph-reduction
- May 27, 2025 Bracket Abstraction: Compiling Lambda Terms into Combinators How the lambda-free basis S and K can express every abstraction, the translation that removes binders one at a time, and why the naive translation explodes in size. computation theory
- Jun 6, 2023 Call-by-Need Evaluation and In-Place Thunk Update How a lazy argument becomes a shared thunk, why forcing it overwrites the thunk with its value, and where the resulting retention of unevaluated expressions costs memory. programming languages