English Call-by-push-value Cited by user Mathnerd314159 on 09 Apr 2024 In programming language theory, call-by-push-value (CBPV) is an intermediate language that embeds the call-by-value (CBV) and call-by-name (CBV) evaluation strategies.