Call-by-push-value: Difference between revisions

Revision as of 18:03, 28 July 2004

Revision as of 18:25, 28 July 2004

Line 1:

{{cleanup}}

* The '''[[call-by-push-value]]''' (CBPV) [[synthesis]], inspired by [[monad]]s, claims to surprisingly subsume '''call-by-name''' and '''call-by-value''' by using the [[paradigm]] ''a value is, a computation does''.

* The '''[[call-by-push-value]]''' ('''CBPV''') [[synthesis]], inspired by [[monad]]s, claims to surprisingly subsume '''call-by-name''' and '''call-by-value''' by using the [[paradigm]] ''a value is, a computation does''.

{{stub}}