Distributed-Systems

Regular Types in the Bernoulli Model: When Equality Isn't Equal

Designing Data-Intensive Applications

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.