{"product_id":"call-by-push-value-a-functional-imperative-synthesis-9789401037525","title":"Call-By-Push-Value: A Functional\/Imperative Synthesis","description":"\u003cp\u003e • Author(s): P. B. Levy\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Languages - General\u003c\/p\u003e\u003cp\u003eCall-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. \u003cbr\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283705454743,"sku":"9789401037525","price":8732.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9789401037525.webp?v=1769305670","url":"https:\/\/atlanticbooks.com\/products\/call-by-push-value-a-functional-imperative-synthesis-9789401037525","provider":"Atlantic Books","version":"1.0","type":"link"}