|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
17
|
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
– Małgorzata Biernacka, Olivier Danvy
- 2005
|
|
10
|
A Monadic Framework for Delimited Continuations
– R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
|
|
6
|
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
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
|
Strong Normalization of Polymorphic Calculus for Delimited Continuations
– Yukiyoshi Kameyama, Kenichi Asai
|
|
|
Languages, Theory
– Tiark Rompf, Ingo Maier, Martin Odersky
|
|
23
|
Delimited Dynamic Binding
– Oleg Kiselyov, Chung-chieh Shan , Amr Sabry
- 2006
|
|
|
A Type System for Dynamic Delimited Continuations
– Takuo Yonezawa, Yukiyoshi Kameyama
|
|
5
|
Adding Delimited and Composable Control to a Production Programming Environment
– Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthian Felleisen
- 2007
|
|
3
|
A Rational Deconstruction of Landin’s J Operator
– Olivier Danvy, Kevin Millikin
- 2006
|
|
8
|
A type-theoretic foundation of delimited continuations. Higher Order Symbol
– Zena M. Ariola, Hugo Herbelin, Amr Sabry
- 2009
|
|
2
|
Delimited Control in OCaml, Abstractly and Concretely System Description
– Oleg Kiselyov
|
|
|
Delimited Control in OCaml, Abstractly and Concretely Oleg Kiselyov
– unknown authors
|
|
8
|
Polymorphic Delimited Continuations
– Kenichi Asai, Yukiyoshi Kameyama
- 2007
|
|
4
|
A monadic framework for subcontinuations
– R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
- 2005
|
|
10
|
Online Partial Evaluation for Shift and Reset
– Kenichi Asai
- 2002
|
