call-by-push-value: a functional/imperative synthesis (en Inglés)

levy, paul blain · springer