collaborators

1 paper

cs.PL2026

The Because-Calculus: Separating Production, Existence, and Interpretation in Computation

Oscar Perez Mora

Handler calculus conflates resumable and non-resumable effect operations through a single do construct, distinguished only by result type annotation. This conflation does not compr…