عنوان
پدید آورنده
موضوع
رده
QA76.7 B973 2003
QA76
.
7
B973
2003
کتابخانه
محل استقرار
9400709544
9789400709546
b546081
Call-By-Push-Value :
[Book]
a Functional/Imperative Synthesis
by Paul Blain Levy.
Dordrecht
Springer Netherlands
2003
(xli, 352 pages)
Semantic structures in computation, 2.
From the Contents: List of Figures. Preface. Acknowledgements. Introduction --;Part I: Language --;Part II: Concrete Semantics --;Part III: Categorical Semantics --;Part IV: Conclusions. Appendices.
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.
Algebra.
Computer science.
QA76
.
7
B973
2003
by Paul Blain Levy.
Paul Blain Levy
مطالعه متن کتاب [Book]
Y
