Buy this book
- About this 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.
- Table of contents (12 chapters)
-
-
Call-By-Value and Call-By-Name
Pages 3-26
-
Call-By-Push-Value: A Subsuming Paradigm
Pages 27-47
-
Complex Values and Equational Theory
Pages 49-63
-
Recursion and Infinitely Deep CBPV
Pages 65-86
-
Simple Models of CBPV
Pages 89-116
-
Table of contents (12 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Call-By-Push-Value
- Book Subtitle
- A Functional/Imperative Synthesis
- Authors
-
- P.B. Levy
- Series Title
- Semantics Structures in Computation
- Series Volume
- 2
- Copyright
- 2003
- Publisher
- Springer Netherlands
- Copyright Holder
- Kluwer Academic Publishers
- eBook ISBN
- 978-94-007-0954-6
- DOI
- 10.1007/978-94-007-0954-6
- Hardcover ISBN
- 978-1-4020-1730-8
- Softcover ISBN
- 978-94-010-3752-5
- Edition Number
- 1
- Number of Pages
- XLI, 352
- Topics