Call-By-Push-Value: Decomposing Call-By-Value And Call-By-Name

Cached

Download Links

by Paul Blain Levy
Citations:8 - 3 self

Documents Related by Co-Citation

766 Notions of Computation and Monads – Eugenio Moggi - 1991
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
760 Types and Programming Languages – Benjamin C Pierce - 2002
34 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
653 The Theory and Practice of Concurrency – A W Roscoe - 1997
761 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
1306 The temporal logic of programs – A Pnueli - 1977
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969