Call-with-current-continuation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
- 2007
Plotkin's v-calculus for call-by-value programs is weaker than the-calculus for the same programs in continuation-passing style… (More)
Is this relevant?
2007
2007
- POPL
- 2007
We motivate and discuss a novel functional programming construct that allows convenient modular run-time nonstandard… (More)
Is this relevant?
2004
2004
- 2004
In this dissertation we show that linear and affine type systems for continuation-passing style support correct and tight… (More)
Is this relevant?
2002
2002
- ICFP
- 2002
We present a direct implementation of the <i>shift</i> and <i>reset</i> control operators in the <i>SFE</i> system. The new… (More)
Is this relevant?
2000
2000
- 2000
Continuations are the raw material of control. They can be used to explain a wide variety of control behaviours, including… (More)
Is this relevant?
1999
1999
- Higher-Order and Symbolic Computation
- 1999
We study the implications for the expressive power of call/cc of upward continuations , speciically the idiom of using a… (More)
Is this relevant?
1999
1999
- Higher-Order and Symbolic Computation
- 1999
We demonstrate that in the context of statically-typed purely-functional lambda calculi without recursion, unchecked exceptions… (More)
Is this relevant?
1998
1998
- Types in Compilation
- 1998
Suppose we translate two different source languages, L1 and L2, into the same intermediate language; can they safely interoperate… (More)
Is this relevant?
1997
1997
- Electr. Notes Theor. Comput. Sci.
- 1997
We give an abstract categorical presentation of continuation semantics by taking the continuation type constructor : (or cont in… (More)
Is this relevant?
1995
1995
- 1995
We demonstrate that in the context of statically typed pure functional lambda calculi, exceptions are strictly more powerful than… (More)
Is this relevant?