Paul Levy
41 - 42 out of 42Page size: 10
Publications
- 2003
- Published
Call-by-Push-Value: A Functional/Imperative Synthesis
Paul Levy, 1 Jan 2003, Kluwer, Semantic Structures in Computation, 2.Research output: Book/Report › Book
- 2002
- 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