453875
9781402017308
Call-by-push-value is a programming language paradigm. 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.Levy, Paul Blain is the author of 'Call-By-Push-Value A Functional/imperative Synthesis' with ISBN 9781402017308 and ISBN 1402017308.
[read more]