Combining algebraic effects with continuations (2007)

by Martin Hyland , Paul Blain Levy , Gordon Plotkin , John Power
Citations:8 - 3 self

Active Bibliography

32 A Semantic analysis of control – James David Laird - 1998
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
José Espírito Santo – Centro De Matemática
Towards a canonical classical natural deduction system José Espírito Santo – Centro De Matemática
11 Call-by-value is dual to call-by-name, reloaded – Philip Wadler - 2005
12 On the unity of duality – Noam Zeilberger - 2008
1 A Systematic Approach to Delimited Control with Multiple Prompts – Paul Downen, Zena M. Ariola
1 Axioms for Control Operators in the CPS Hierarchy ∗ – Yukiyoshi Kameyama
12 The Structure of Call-by-Value – Carsten Führmann - 2000
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
Project-Team π.r 2 Design, study and implementation of languages for proofs and programs – Paris Rocquencourt, Overall Objectives
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994