Call-by-push-value: Difference between revisions

Revision as of 18:25, 28 July 2004

Revision as of 22:59, 28 July 2004

Line 1:

#REDIRECT [[parameter (computer science)]]

{{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''.

{{stub}}