Delimited Dynamic Binding (2006)

by Oleg Kiselyov , Chung-chieh Shan , Amr Sabry
Citations:31 - 11 self

Active Bibliography

11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
2 A Substructural Type System for Delimited Continuations ⋆ – Oleg Kiselyov, Chung-chieh Shan
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
1 Axioms for Control Operators in the CPS Hierarchy ∗ – Yukiyoshi Kameyama
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
Shifting the stage Staging – Yukiyoshi Kameyama, Chung-chieh Shan
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
3 Handlers in Action – Ohad Kammar, Sam Lindley, Nicolas Oury
12 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 1996
19 Polymorphic Delimited Continuations – Kenichi Asai, Yukiyoshi Kameyama - 2007
2 Lifted inference: normalizing loops by evaluation – Oleg Kiselyov, Chung-chieh Shan
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
1 A Systematic Approach to Delimited Control with Multiple Prompts – Paul Downen, Zena M. Ariola
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
25 A Sound and Complete Axiomatization of Delimited Continuations – Yukiyoshi Kameyama, Masahito Hasegawa - 2003
10 Online Partial Evaluation for Shift and Reset – Kenichi Asai - 2002