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

Cached

Download Links

by Paul Blain Levy
Citations:8 - 3 self

Active Bibliography

1 LINEAR-USE CPS TRANSLATIONS IN THE ENRICHED EFFECT CALCULUS – Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
LINEAR-USE CPS TRANSLATIONS IN THE ENRICHED EFFECT CALCULUS ∗ – Jeff Egger A, Rasmus Ejlers Møgelberg B, Alex Simpson C - 2012
8 Enriching an Effect Calculus with Linear Types – Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
Téléphone: +33(0)4.72.72.80.37 – École Normale, Supérieure Lyon, Pierre Lescanne, Silvia Likavec, École Normale, Supérieure Lyon, Pierre Lescanne, Silvia Likavec - 2004
32 A Semantic analysis of control – James David Laird - 1998
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
14 Eager normal form bisimulation – Soren B. Lassen, Paul Blain Levy - 2005
Γ ⊢ πM: A – Paul Blain Levy
9 Answer type polymorphism in call-by-name continuation passing – Hayo Thielecke - 2004
3 Polarity and the Logic of Delimited Continuations – Noam Zeilberger
6 Monads and Adjunctions for Global Exceptions – Paul Blain Levy - 2006
11 Call-by-value is dual to call-by-name, reloaded – Philip Wadler - 2005
6 Linearly-used continuations in an enriched effect calculus – Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson - 2009
12 On the unity of duality – Noam Zeilberger - 2008
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000