call-by-push-value
programming language theory
Programming Computable Functions
https://en.wikipedia.org/wiki/Call-by-push-value