Delivery included to the United States

Call-by-Push-Value

Call-by-Push-Value A Functional/imperative Synthesis - Semantics Structures in Computation

2003

Hardback (30 Nov 2003)

  • $209.95
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN: 9781402017308
Publisher: Springer Netherlands
Imprint: Springer
Pub date:
Edition: 2003
DEWEY: 005.131
DEWEY edition: 21
Language: English
Number of pages: 352
Weight: 770g
Height: 234mm
Width: 156mm
Spine width: 22mm