Call-By-Push-Value

Call-By-Push-Value

A Functional/Imperative Synthesis

by P.B. Levy

352 pages· 2012· ISBN 9789400709546
Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.

Discuss Call-By-Push-Value with other readers

Join or start a book club for Call-By-Push-Value on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Call-By-Push-Value?

Sign up free on Readfeed, then browse public clubs or start your own club with Call-By-Push-Value as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Call-By-Push-Value with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Call-By-Push-Value with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.