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.
Call-By-Push-Value: A Functional/Imperative Synthesis
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for Students. Learn more |
| ||||||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
adjunction model, strong adjunction, reversible derivations, homset functor, left adjunctives, infinitely deep terms, printing semantics, right adjunctive, jumping implementation, value type denotes, ground returner, force thunk, locally continuous functor, subsuming language, erratic choice, judgement model, provable equality, strong monad, terms with holes, type canonical form, pointer games, deep syntax, cartesian category, jumping machine, justified sequence Key Phrases - Capitalized Phrases (CAPs): (learn more)
Idealized Algol, Mac Lane, A-set Ans, Yoneda Lemma, Observational Equivalence Definition, Suppose Ans New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
adjunction model, strong adjunction, reversible derivations, homset functor, left adjunctives, infinitely deep terms, printing semantics, right adjunctive, jumping implementation, value type denotes, ground returner, force thunk, locally continuous functor, subsuming language, erratic choice, judgement model, provable equality, strong monad, terms with holes, type canonical form, pointer games, deep syntax, cartesian category, jumping machine, justified sequence Key Phrases - Capitalized Phrases (CAPs): (learn more)
Idealized Algol, Mac Lane, A-set Ans, Yoneda Lemma, Observational Equivalence Definition, Suppose Ans New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 14
books:
See all 14 books this book cites
- Current Trends in Programming Methodology by Eng in Back Matter
- We See (Read with Dick and Jane (Abdo)) by Scott Foresman & Company on page 3
- Handbook of Categorical Algebra: Volume 2, Categories and Structures (Encyclopedia of Mathematics and its Applications) (v. 2) by Francis Borceux in Back Matter
- Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science) by V. Stoltenberg-Hansen in Back Matter
- Compiling with Continuations by Andrew W. Appel in Back Matter
See all 14 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Science & Mathematics > Mathematics > Algebra & Trigonometry
- Books > Science & Math > Mathematics
