Paul Levy

Publications

  1. 2003
  2. Published

    Call-by-Push-Value: A Functional/Imperative Synthesis

    Paul Levy, 1 Jan 2003, Kluwer, Semantic Structures in Computation, 2.

    Research output: Book/ReportBook

  3. 2002
  4. Published

    Possible world semantics for general storage in call-by-value

    Paul Levy, 1 Jan 2002, p. LNCS 232-246.

    Research output: Contribution to conference (unpublished)Paper

Previous 1 2 3 4 5 Next