evaluation strategy

(redirected from Call-by-push-value)

evaluation strategy