Artículos relacionados a Call-By-Push-Value: A Functional/Imperative Synthesis

Call-By-Push-Value: A Functional/Imperative Synthesis - Tapa blanda

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

Esta edición ISBN ya no está disponible.

Sinopsis

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

Otras ediciones populares con el mismo título

9781402017308: Call-By-Push-Value: A Functional/Imperative Synthesis: 2 (Semantics Structures in Computation)

Edición Destacada

ISBN 10:  1402017308 ISBN 13:  9781402017308
Editorial: Springer, 2003
Tapa dura