Call-by-push-value

Article
Talk

This is an old revision of this page, as edited by 147.188.192.41 (talk) at 18:03, 28 July 2004. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

The call-by-push-value (CBPV) synthesis, inspired by monads, claims to surprisingly subsume call-by-name and call-by-value by using the paradigm a value is, a computation does.

This article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Call-by-push-value&oldid=4889876"