Call-with-current-continuation

Known as: Call with current continuation, Call/cc, Callcc 
In Scheme programming, the function call-with-current-continuation, abbreviated call/cc, is a control operator. It has been adopted by several other… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1988-2016
024619882016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
  • MATTHIAS FELLEISENy
  • 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
We motivate and discuss a novel functional programming construct that allows convenient modular run-time nonstandard… (More)
  • figure 1
  • figure 3
Is this relevant?
2004
2004
  • Joshua James Berdine
  • 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
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)
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • figure 9
Is this relevant?
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
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
We demonstrate that in the context of statically-typed purely-functional lambda calculi without recursion, unchecked exceptions… (More)
  • figure 4
  • figure 6
Is this relevant?
1998
1998
Suppose we translate two different source languages, L1 and L2, into the same intermediate language; can they safely interoperate… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1997
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
We demonstrate that in the context of statically typed pure functional lambda calculi, exceptions are strictly more powerful than… (More)
  • figure 1
  • figure 2
Is this relevant?