Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
We present a unified categorial analysis of several types of English comparative, superlative, and THE SAME/DIFFERENT (S/D… 
2012
2012
This thesis examines the use of game semantics for the automatic equivalence checking of higher-order programs. Game semantics… 
2003
2003
Griffin [22] pointed out that, just as the pure λ-calculus corresponds to intuitionistic logic, a λ-calculus with firstclass… 
Review
2001
Review
2001
This paper outlines the recurring use of continuations. A brief overview of continuations is given. This is followed by several… 
1999
1999
We introduce an explicitly typed λµ-calculus of call-by-value as a short-hand for the 2nd order Church-style. Our motivation… 
1998
1998
We introduce a polymorphic call-by-value calculus, v, based on 2nd order classical logic. The call-by-value computation rules are… 
1995
1995
While fine-grained concurrent languages can naturally capture concurrency in many irregular and dynamic problems, their… 
1995
1995
Abstract : We demonstrate that in the context of statically typed pure functional lambda calculi, exceptions are strictly more… 
1992
1992
A new program transformation is presented that allows to remove control operators related to partial continuations. The basis for…