Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
-
Concrete Semantics
-
Categorical Semantics
-
Conclusions
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Call-By-Push-Value
Book Subtitle: A Functional/Imperative Synthesis
Authors: Paul Blain Levy
Series Title: Semantics Structures in Computation
DOI: https://doi.org/10.1007/978-94-007-0954-6
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Kluwer Academic Publishers 2003
Hardcover ISBN: 978-1-4020-1730-8Published: 30 November 2003
Softcover ISBN: 978-94-010-3752-5Published: 27 September 2012
eBook ISBN: 978-94-007-0954-6Published: 06 December 2012
Edition Number: 1
Number of Pages: XLI, 352
Topics: Programming Languages, Compilers, Interpreters, Mathematics of Computing, Category Theory, Homological Algebra