Title: Call-by-push-value
Subjects: Programming languages (Electronic computers), Programming languages (electronic computers)