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)

Related topics

Related topics

23 relations
BacktrackingCOMEFROMContinuationContinuation-passing style

Broader (1)

Scheme

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
A unified analysis of the same, phrasal comparatives, and superlatives
We present a unified categorial analysis of several types of English comparative, superlative, and THE SAME/DIFFERENT (S/D… 
2012
2012
Game semantics based equivalence checking of higher-order programs
This thesis examines the use of game semantics for the automatic equivalence checking of higher-order programs. Game semantics… 
2006
2006
Practical Program Extraction from Classical Proofs
2003
2003
From shift and reset to polarized linear logic
Griffin [22] pointed out that, just as the pure λ-calculus corresponds to intuitionistic logic, a λ-calculus with firstclass… 
Review
2001
Review
2001
Call with Current Continuation Patterns
This paper outlines the recurring use of continuations. A brief overview of continuations is given. This is followed by several… 
1999
1999
Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value
We introduce an explicitly typed λµ-calculus of call-by-value as a short-hand for the 2nd order Church-style. Our motivation… 
1998
1998
Polymorphic Call-by-Value Calculus Based on Classical Proofs
We introduce a polymorphic call-by-value calculus, v, based on 2nd order classical logic. The call-by-value computation rules are… 
1995
1995
A Hybrid Execution Model for Fine-Grained Languages on Distributed Memory Multicomputers
While fine-grained concurrent languages can naturally capture concurrency in many irregular and dynamic problems, their… 
1995
1995
Exceptions Are Strictly More Powerful Than Call/CC.
Abstract : We demonstrate that in the context of statically typed pure functional lambda calculi, exceptions are strictly more… 
1992
1992
Value Transforming Style
A new program transformation is presented that allows to remove control operators related to partial continuations. The basis for… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)