levy-2003-callbypushvalue:
  type: book
  title: 'Call-By-Push-Value: A Functional/Imperative Synthesis'
  author: Levy, Paul Blain
  date: 2003
  publisher: Springer Netherlands
  volume: 2
  url: https://doi.org/10.1007/978-94-007-0954-6
  serial-number:
    doi: 10.1007/978-94-007-0954-6
  parent:
    type: book
    title: Semantic Structures in Computation