Typed Dynamic Control Operators for Delimited Continuations (2008)


Download Links

by Yukiyoshi Kameyama , Takuo Yonezawa
Venue:FLOPS ’08: Proceedings of 9th International Symposium on Functional and Logic Programming
Citations:3 - 2 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
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
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
9 On Typing Delimited Continuations: Three New Solutions to the Printf Problem – Kenichi Asai - 2009
13 A Simple Proof of a Folklore Theorem about Delimited Control – Dariusz Biernacki, Olivier Danvy - 2005
Strong Normalization of Polymorphic Calculus for Delimited Continuations – Yukiyoshi Kameyama, Kenichi Asai
Languages, Theory – Tiark Rompf, Ingo Maier, Martin Odersky
32 Delimited Dynamic Binding – Oleg Kiselyov, Chung-chieh Shan , Amr Sabry - 2006
A Type System for Dynamic Delimited Continuations – Takuo Yonezawa, Yukiyoshi Kameyama
11 Adding Delimited and Composable Control to a Production Programming Environment – Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthian Felleisen - 2007
Author manuscript, published in " " DOI: 10.1145/1863543.1863550 ReCaml: Execution State as the Cornerstone of Reconfigurations – Jérémy Buisson, Université Européenne De Bretagne, Fabien Dagnat, Université Européenne De Bretagne - 2013
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
Shifting the stage Staging – Yukiyoshi Kameyama, Chung-chieh Shan
1 Equational Axiomatization of Call-by-Name Delimited Control – Yukiyoshi Kameyama
A Call-by-Name CPS Hierarchy – Asami Tanaka, Yukiyoshi Kameyama