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.
"Sinopsis" puede pertenecer a otra edición de este libro.
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
Crear una petición