Articles liés à Call-By-Push-Value: A Functional/Imperative Synthesis
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
