Call-by-push-value: Decomposing call-by-value and call-by-name
scientific article; zbMATH DE number 5081995