Call By Push Value

Publications

[Levy2006] Call-by-push-value: Decomposing call-by-value and call-by-name

» Theory