Madi Gudin

Commuting Conversions and Join Points for Call-by-Push-Value

2026 · Digital Repository at the University of Maryland (University of Maryland College Park)

Levy’s call-by-push-value (CBPV) is a language that subsumes both call-by-name and call-by-value lambda calculi by syntactically distinguishing values from computations and explicitly specifying execution order. This low-level handling of computation suspension and resumption makes CBPV …