Call-By-Push-Value
Subtitle: A Functional/Imperative Synthesis
By: by Paul Blain Levy
Series: Semantic Structures in Computation -- 2; Semantic Structures in Computation -- 2
Publisher: Springer Netherlands
Published: 2003
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] :
Number of pages: 352
ISBN-13: 9789401037525; 9789400709546
Subjects: Computer science; Algebra
Description: 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.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: From the Contents: List of Figures. Preface. Acknowledgements. Introduction; title: Part I: Language; title: Part II: Concrete Semantics; title: Part III: Categorical Semantics; title: Part IV: Conclusions. Appendices.