Call-by-push-value: Difference between revisions

Content deleted Content added
Undid incorrect revision 16662631 by TakuyaMurata (talk)
AnomieBOT (talk | contribs)
m Dating maintenance tags: {{Cleanup}}
Line 1:
{{cleanup|date=December 2014}}
 
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''.