Call-By-Push-Value

A Functional/Imperative Synthesis

  • Paul Blain Levy

Part of the Semantic Structures in Computation book series (SECO, volume 2)

Table of contents

  1. Front Matter
    Pages i-xli
  2. Language

    1. Front Matter
      Pages 1-1
    2. Paul Blain Levy
      Pages 3-26
    3. Paul Blain Levy
      Pages 27-47
    4. Paul Blain Levy
      Pages 49-63
    5. Paul Blain Levy
      Pages 65-86
  3. Concrete Semantics

    1. Front Matter
      Pages 87-87
    2. Paul Blain Levy
      Pages 89-116
    3. Paul Blain Levy
      Pages 117-140
    4. Paul Blain Levy
      Pages 141-168
    5. Paul Blain Levy
      Pages 169-203
  4. Categorical Semantics

    1. Front Matter
      Pages 205-205
    2. Paul Blain Levy
      Pages 207-248
    3. Paul Blain Levy
      Pages 249-260
    4. Paul Blain Levy
      Pages 261-290
  5. Conclusions

    1. Front Matter
      Pages 291-291
    2. Paul Blain Levy
      Pages 293-297
  6. Back Matter
    Pages 299-352

About this book

Introduction

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.

Keywords

Calc Tuple boundary element method calculus equation functional games language model modelling object programming programming language semantics types

Authors and affiliations

  • Paul Blain Levy
    • 1
  1. 1.School of Computer ScienceUniversity of BirminghamUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-007-0954-6
  • Copyright Information Kluwer Academic Publishers 2003
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-94-010-3752-5
  • Online ISBN 978-94-007-0954-6
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace