October 1, 2025
Partial-Evaluation
Browse posts by tag
April 1, 2024
Apertures: Coordinated Partial Evaluation for Distributed Computation
A coordination mechanism for distributed computation based on partial evaluation with explicit holes, enabling pausable and resumable evaluation across multiple parties.