generated at
call-by-push-value
programming language theory
Programming Computable Functions

https://en.wikipedia.org/wiki/Call-by-push-value