Verwandte Artikel zu Call-By-Push-Value: A Functional/Imperative Synthesis
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
List of Figures. Preface. Acknowledgements. Introduction. I.1. Computational Effects. I.2. Reconciling CBN and CBV. I.3. the Case for Call-By-Push-Value. I.4. Conventions. I.5. A CBPV Primer. I.6. Structure of Thesis. Part I: Language. 1. Call-By-Value and Call-By-Name. 2. Call-By-Push-Value: A Subsuming Paradigm. 3. Complex Values and Equational Theory. 4. Recursion and Infinitely Deep CBPV. Part II: Concrete Semantics. 5. Simple Models of CBPV. 6. Possible World Model for Cell Generation. 7. Jump-with-Argument. 8. Pointer Games. Part III: Categorical Semantics. 9. Semantics in Element Style. 10. All Models are Categorical Models. 11. Representing Objects. Part IV: Conclusions. 12. Conclusions, Comparisons and Further Work. Appendices: A: Technical Treatment of CBV and CBN. B: Models in the Style of Power-Robinson.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
