Call-by-push-value: Difference between revisions

Content deleted Content added
{{cleanup}}, wikify
merge with parameter (computer science)
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}}