Call-By-Push-Value: A Functional/Imperative Synthesis
Paul Blain Levy (auth.)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.
Thể loại:
Năm:
2003
In lần thứ:
1
Nhà xuát bản:
Springer Netherlands
Ngôn ngữ:
english
Trang:
352
ISBN 10:
9401037523
ISBN 13:
9789401037525
Loạt:
Semantic Structures in Computation 2
File:
PDF, 10.67 MB
IPFS:
,
english, 2003
Không download được sách này bởi khiếu nại của đại diện pháp luật