Skip to content
Home/ Call-By-Push-Value: A Functional/Imperative Synthesis (2003)
Call-By-Push-Value: A Functional/Imperative Synthesis (2003)

Call-By-Push-Value: A Functional/Imperative Synthesis (2003)

No customer reviews yet ISBN 9781402017308

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.

About the author

Product details

Pub dateNov 30, 2003
ISBN-101402017308
ISBN-139781402017308
LanguageEnglish
Last updated 2026-03-13 03:33
$208.19
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Computers | Machine Theory
See all