Ebook: Call-By-Push-Value: A Functional/Imperative Synthesis

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.

---

---

Content:
Front Matter....Pages i-xli
Front Matter....Pages 1-1
Call-By-Value and Call-By-Name....Pages 3-26
Call-By-Push-Value: A Subsuming Paradigm....Pages 27-47
Complex Values and Equational Theory....Pages 49-63
Recursion and Infinitely Deep CBPV....Pages 65-86
Front Matter....Pages 87-87
Simple Models of CBPV....Pages 89-116
Possible World Model for Cell Generation....Pages 117-140
Jump-With-Argument....Pages 141-168
Pointer Games....Pages 169-203
Front Matter....Pages 205-205
Semantics In Element Style....Pages 207-248
All Models are Categorical Models....Pages 249-260
Representing Objects....Pages 261-290
Front Matter....Pages 291-291
Conclusions, Comparisons and Further Work....Pages 293-297
Back Matter....Pages 299-352

---

Content:
Front Matter....Pages i-xli
Front Matter....Pages 1-1
Call-By-Value and Call-By-Name....Pages 3-26
Call-By-Push-Value: A Subsuming Paradigm....Pages 27-47
Complex Values and Equational Theory....Pages 49-63
Recursion and Infinitely Deep CBPV....Pages 65-86
Front Matter....Pages 87-87
Simple Models of CBPV....Pages 89-116
Possible World Model for Cell Generation....Pages 117-140
Jump-With-Argument....Pages 141-168
Pointer Games....Pages 169-203
Front Matter....Pages 205-205
Semantics In Element Style....Pages 207-248
All Models are Categorical Models....Pages 249-260
Representing Objects....Pages 261-290
Front Matter....Pages 291-291
Conclusions, Comparisons and Further Work....Pages 293-297
Back Matter....Pages 299-352
....