Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,332,909 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.
2007
2007
A proof theoretical approach to Continuation Passing Style
Ichiro Ogata Electrotechnical
2007
Corpus ID: 17192677
In this paper we study the relation with continuation passing style(CPS) and classical proofs, proof theoretically. There is two…
Expand
2001
2001
Der kardiale Risikopatient in der Anästhesie
J. Baumert
,
W. Buhre
Der Anaesthesist
2001
Corpus ID: 7194338
ZusammenfassungPerioperative kardiale Komplikationen bei nicht-herzchirurgischen Eingriffen sind eines der vordringlichen…
Expand
2000
2000
Continuation Passing Style Transformation after Exception Analysis
Jungtaek Kim
,
K. Yi
2000
Corpus ID: 63442974
ML's exception handling makes it possible to describe exceptional execution flows conveniently. Sometimes, current implementation…
Expand
1999
1999
Derivation of non-linear control strategies via numerical continuation
M. Lowenberg
,
Thomas Richardson
1999
Corpus ID: 125356153
Numerical algorithms known as continuation methods are regularly used in standard applications of bifurcation theory to non…
Expand
1997
1997
Deriving Proof Rules from Continuation Semantics Ecole Normale Supérieure De Lyon Deriving Proof Rules from Continuation Semantics Deriving Proof Rules from Continuation Semantics
Philippe Audebaud
,
E. Zucca
1997
Corpus ID: 17548069
We claim that the continuation style semantics of a programming language can provide a starting point for constructing a proof…
Expand
1993
1993
Introduction : Première Continuation de Perceval
Colette Van Coolput-Storms
1993
Corpus ID: 109320612
1992
1992
Language Extension via First-class Interpreters
D. Friedman
,
J. Wiseman
,
Simmons
,
Stanley Jefferson
1992
Corpus ID: 9972485
Refci is an extensible re ective language based on the re ective tower model. The Refci interpreter procedures are rei able, rst…
Expand
1988
1988
A Blond Primer
O. Danvy
,
Karoline Malmkjær
1988
Corpus ID: 5694103
This report describes how to use the reflective tower Blond. A reflective tower is a computational architecture where programs…
Expand
1985
1985
Traduction automatique et style (Machine Translation and Style).
A. Loffler-Laurian
1985
Corpus ID: 60347841
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