|
" Call-By-Push-Value : "
by Paul Blain Levy.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
726349
|
| Doc. No
|
:
|
b546081
|
| Main Entry
|
:
|
by Paul Blain Levy.
|
| Title & Author
|
:
|
Call-By-Push-Value : : a Functional/Imperative Synthesis\ by Paul Blain Levy.
|
| Publication Statement
|
:
|
Dordrecht: Springer Netherlands, 2003
|
| Series Statement
|
:
|
Semantic structures in computation, 2.
|
| Page. NO
|
:
|
(xli, 352 pages)
|
| ISBN
|
:
|
9400709544
|
|
|
:
|
: 9789400709546
|
| Contents
|
:
|
From the Contents: List of Figures. Preface. Acknowledgements. Introduction --;Part I: Language --;Part II: Concrete Semantics --;Part III: Categorical Semantics --;Part IV: Conclusions. Appendices.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Algebra.
|
| Subject
|
:
|
Computer science.
|
| LC Classification
|
:
|
QA76.7B973 2003
|
| Added Entry
|
:
|
Paul Blain Levy
|
| |