Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,400,060 papers from all fields of science
Search
Sign In
Create Free Account
Continuation-passing style
Known as:
Continuation Passing Style
, Continuation-passing
, Continuation passing
Expand
In functional programming, continuation-passing style (CPS) is a style of programming in which control is passed explicitly in the form of a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
42 relations
A-normal form
AI Memo
Await
CHICKEN Scheme
Expand
Broader (1)
Functional programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Fault handling and recovery in decentralized services orchestration
Weihai Yu
International Conference on Information…
2010
Corpus ID: 10218934
Today, orchestration of composite services is typically carried out by dedicated central engines. A central engine, however, can…
Expand
2009
2009
Proofs, tests and continuation passing style
S. Guerrini
,
A. Masini
TOCL
2009
Corpus ID: 15628806
The concept of syntactical duality is central in logic. In particular, the duality defined by classical negation, or more…
Expand
Review
2009
Review
2009
Formalizing Operational Semantic Specifications in Logic
D. Miller
Workshop on Functional and Constraint Logic…
2009
Corpus ID: 27207811
2004
2004
The Bear River dykes (1265-1269 Ma): westward continuation of the Mackenzie dyke swarm into Yukon, Canada
D. Schwab
,
D. Thorkelson
,
J. Mortensen
,
R. Creaser
,
J. Abbott
2004
Corpus ID: 37200354
Review
2003
Review
2003
Managerial Change, Competition, and Privatization in Ukraine
F. Warzynski
2003
Corpus ID: 54199985
2002
2002
A Proof Theoretical Account of Continuation Passing Style
Ichiro Ogata
Annual Conference for Computer Science Logic
2002
Corpus ID: 12697064
We study the "classical proofs as programs" paradigm in Call-By-Value (CBV) setting. Specifically, we show the CBV normalization…
Expand
2000
2000
Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework
Jeff Polakow
,
F. Pfenning
2000
Corpus ID: 14787002
A logical framework is a meta-language for the formalization of deductive systems as used in the description of logics and…
Expand
1997
1997
Implementation of a continuation method for normal maps
Hichem Sellami
,
S. M. Robinson
Mathematical programming
1997
Corpus ID: 40372435
This paper presents an implementation of a nonsmooth continuation method of which the idea was originally put forward by…
Expand
1996
1996
Continuation Passing Style and Self-Adjointness
Hayo Thielecke
1996
Corpus ID: 115821073
We give an abstract categorical presentation of continuation semantics by taking the continuation type constructor : (or cont in…
Expand
Review
1962
Review
1962
Forschung am Pflanzgut der Kartoffel
O. Fischnich
,
F. Heilinger
,
H. Krug
,
C. Pätzold
European Potato Journal
1962
Corpus ID: 40304163
ZusammenfassungDer Beitrag soll einen Überblick über den Stand unserer Forschung am Kartoffelpflanzgut vermitteln.Unter…
Expand
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)
ACCEPT & CONTINUE