Call-By-Push-Value: A Subsuming Paradigm (1999)

Cached

Download Links

by Paul Blain Levy
Venue:in Proc. TLCA ’99
Citations:19 - 0 self

Documents Related by Co-Citation

445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
734 Notions of Computation and Monads – Eugenio Moggi - 1991
379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
32 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
216 A powerdomain construction – G. D. Plotkin - 1976
166 An abstract view of programming languages – E Moggi - 1989
138 Probabilistic Non-Determinism – C Jones - 1990
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
15 A representable approach to finite nondeterminism – S O Anderson, A J Power - 1997