Strong Normalization of Polymorphic Calculus for Delimited Continuations

by Yukiyoshi Kameyama , Kenichi Asai

Active Bibliography

19 Polymorphic Delimited Continuations – Kenichi Asai, Yukiyoshi Kameyama - 2007
1 Axioms for Control Operators in the CPS Hierarchy ∗ – Yukiyoshi Kameyama
31 Delimited Dynamic Binding – Oleg Kiselyov, Chung-chieh Shan , Amr Sabry - 2006
9 On Typing Delimited Continuations: Three New Solutions to the Printf Problem – Kenichi Asai - 2009
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
Shifting the stage Staging – Yukiyoshi Kameyama, Chung-chieh Shan
3 Typed Dynamic Control Operators for Delimited Continuations – Yukiyoshi Kameyama, Takuo Yonezawa - 2008
1 Equational Axiomatization of Call-by-Name Delimited Control – Yukiyoshi Kameyama
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
34 Secure Information Flow via Linear Continuations – Steve Zdancewic, Andrew C. Myers - 2002
A Type System for Dynamic Delimited Continuations – Takuo Yonezawa, Yukiyoshi Kameyama
A Call-by-Name CPS Hierarchy – Asami Tanaka, Yukiyoshi Kameyama
Languages, Theory – Tiark Rompf, Ingo Maier, Martin Odersky
Design, Languages – Yukiyoshi Kameyama, Chung-chieh Shan
10 Shifting the Stage -- Staging with Delimited Control – Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan - 2009
2 A Substructural Type System for Delimited Continuations ⋆ – Oleg Kiselyov, Chung-chieh Shan
3 Logical Relations for Call-by-value Delimited Continuations – Kenichi Asai - 2007