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
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… 
Review
2011
Review
2011
Evaluating Performance and Making Best Use of Passing Relief Lanes
This report documents the evaluation of the performance and safety effectiveness of passing relief lanes within the State of… 
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
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… 
Review
1962
Review
1962
Forschung am Pflanzgut der Kartoffel
ZusammenfassungDer Beitrag soll einen Überblick über den Stand unserer Forschung am Kartoffelpflanzgut vermitteln.Unter… 
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)