Skip to search formSkip to main contentSkip to account menu

Continuation-passing style

Known as: Continuation Passing Style, Continuation-passing, Continuation passing 
In functional programming, continuation-passing style (CPS) is a style of programming in which control is passed explicitly in the form of a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

42 relations
A-normal formAI MemoAwaitCHICKEN Scheme

Broader (1)

Functional programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Short‐term momentum patterns in stock and sectoral returns: evidence from India
Purpose - The purpose of this paper is to evaluate if there are any momentum patterns in stock and sectoral returns and if they… 
2011
2011
Defect Oriented Testing for analog/mixed-signal devices
We present an application of Defect Oriented Testing (DOT) to an industrial mixed signal device to reduce test time and maintain… 
2010
2010
Fault handling and recovery in decentralized services orchestration
Today, orchestration of composite services is typically carried out by dedicated central engines. A central engine, however, can… 
2009
2009
Proofs, tests and continuation passing style
The concept of syntactical duality is central in logic. In particular, the duality defined by classical negation, or more… 
Review
2009
Review
2009
Formalizing Operational Semantic Specifications in Logic
Review
2007
Review
2007
Generic Substitution of Narrow Therapeutic Index Drugs
Controversy regarding generic substitution of narrow therapeutic index drugs, especially antiepileptic drugs, has become a big… 
2007
2007
A proof theoretical approach to Continuation Passing Style
In this paper we study the relation with continuation passing style(CPS) and classical proofs, proof theoretically. There is two… 
2002
2002
A Proof Theoretical Account of Continuation Passing Style
We study the "classical proofs as programs" paradigm in Call-By-Value (CBV) setting. Specifically, we show the CBV normalization… 
2000
2000
Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework
A logical framework is a meta-language for the formalization of deductive systems as used in the description of logics and… 
1996
1996
Continuation Passing Style and Self-Adjointness
We give an abstract categorical presentation of continuation semantics by taking the continuation type constructor : (or cont in… 
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)