Typed Dynamic Control Operators for Delimited Continuations (2008)

Cached

Download Links

by Yukiyoshi Kameyama , Takuo Yonezawa
Venue:FLOPS ’08: Proceedings of 9th International Symposium on Functional and Logic Programming
Citations:3 - 2 self

Documents Related by Co-Citation

9 On Typing Delimited Continuations: Three New Solutions to the Printf Problem – Kenichi Asai - 2009
25 A Sound and Complete Axiomatization of Delimited Continuations – Yukiyoshi Kameyama, Masahito Hasegawa - 2003
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
19 Polymorphic Delimited Continuations – Kenichi Asai, Yukiyoshi Kameyama - 2007
130 Representing Monads – Andrzej Filinski - 1994
66 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
2 Delimited Dynamic Binding, ICFP ’06 – O Kiselyov, chieh Shan, C, A Sabry - 2006
1 Abstracting Control, LFP ’90 – O Danvy, A Filinski - 1990
1 A.: Representing Monads, POPL ’94 – Filinski - 1994
1 Polymorphic Delimited Continuations, APLAS ’07 – K Asai, Y Kameyama - 2007
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
13 A Simple Proof of a Folklore Theorem about Delimited Control – Dariusz Biernacki, Olivier Danvy - 2005
77 The Influence of Browsers on Evaluators or, Continuations to Program Web Servers – Christian Queinnec - 2000
4 The theory and practice of first-class prompts. Pages 180–190 of: Proceedings of the 15th acm symposium on principles of programming languages (popl ’88 – M Felleisen - 1988
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
1 Simply Typed Lambda-Calculus with a Typed-Prompt Delimited Control is not Strongly Normalizing – O Kiselyov - 2006
1 Demo of Persistent Delimited Continuations in OCaml for Nested Web Transactions – O Kiselyov - 2008