Overview
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.The book, Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation #2) [Bulk, Wholesale, Quantity] ISBN#9789401037525 in Paperback by P.B. Levy may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.
Details