Partial Evaluation

Apertures: Coordinated Partial Evaluation for Distributed Computation

Apertures: A Language with Holes

When the problem is coordinating computation across parties who can't share data, the SICP move is to build a language for it. Apertures adds one primitive — holes — to a Lisp, and gets pausable, resumable evaluation for free.