Call-By-Push-ValuePaul Blain Levy
Call-By-Push-Value
Paul Blain Levy · 2003
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
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.
Book details
- Year
- 2003
- Language
- English
- Series
- Semantic Structures in Computation -- 2
- Publisher
- Springer Netherlands
- Editions
- 1
- Pages
- 352
- ISBN
- 9789401037525
Data source: Wikidata