|
8
|
Polymorphic Delimited Continuations
– Kenichi Asai, Yukiyoshi Kameyama
- 2007
|
|
23
|
Delimited Dynamic Binding
– Oleg Kiselyov, Chung-chieh Shan , Amr Sabry
- 2006
|
|
6
|
On Typing Delimited Continuations: Three New Solutions to the Printf Problem
– Kenichi Asai
- 2009
|
|
3
|
Typed Dynamic Control Operators for Delimited Continuations
– Yukiyoshi Kameyama, Takuo Yonezawa
- 2008
|
|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
8
|
A type-theoretic foundation of delimited continuations. Higher Order Symbol
– Zena M. Ariola, Hugo Herbelin, Amr Sabry
- 2009
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
30
|
Secure Information Flow via Linear Continuations
– Steve Zdancewic, Andrew C. Myers
- 2002
|
|
|
A Type System for Dynamic Delimited Continuations
– Takuo Yonezawa, Yukiyoshi Kameyama
|
|
|
Languages, Theory
– Tiark Rompf, Ingo Maier, Martin Odersky
|
|
|
Design, Languages
– Yukiyoshi Kameyama, Chung-chieh Shan
|
|
4
|
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
|
|
10
|
A Monadic Framework for Delimited Continuations
– R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
|
|
14
|
A Hybrid Approach to Online and Offline Partial Evaluation
– Eijiro Sumii, Naoki Kobayashi
- 2002
|
|
10
|
Online Partial Evaluation for Shift and Reset
– Kenichi Asai
- 2002
|
|
19
|
A Sound and Complete Axiomatization of Delimited Continuations
– Yukiyoshi Kameyama, Masahito Hasegawa
- 2003
|
