Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 221,780,369 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.
2017
2017
Concurrency Semantics in Continuation-Passing Style
E. Todoran
,
N. Papaspyrou
Fundamenta Informaticae
2017
Corpus ID: 21661089
We present a denotational semantics designed in continuation-passing style (CPS) for an abstract language providing operators for…
Expand
2013
2013
Linear and Affine Typing of Continuation-Passing Style
Josh Berdine
2013
Corpus ID: 122912574
In this dissertation we show that linear and affine type systems for continuation-passing style support correct and tight…
Expand
2011
2011
Cenozoic anatexis and exhumation of Tethyan Sequence rocks in the Xiao Gurla Range, Southwest Tibet
A. Pullen
,
P. Kapp
,
P. DeCelles
,
G. Gehrels
,
L. Ding
2011
Corpus ID: 54045917
2008
2008
Tectonics and sedimentation around Kashinosaki Knoll: A subducting basement high in the eastern Nankai Trough
T. Ike
,
G. Moore
,
S. Kuramoto
,
Jin-Oh Park
,
Y. Kaneda
,
A. Taira
2008
Corpus ID: 59578074
Abstract When seamounts and other topographic highs on an oceanic plate are subducted, they cause significant deformation of the…
Expand
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
Review
1998
Review
1998
High-energy gamma-ray emission from the Galactic Center
H. Mayer-Hasselwander
,
D. Bertsch
,
+18 authors
D. Thompson
1998
Corpus ID: 55778375
The EGRET instrument on the Compton Gamma- Ray Observatory has observed the Galactic Center (GC) region with good coverage at a…
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
1992
1992
Callee-save registers in continuation-passing style
A. Appel
,
Zhong Shao
LISP and Symbolic Computation
1992
Corpus ID: 32581794
Continuation-passing style (CPS) is a good abstract representation to use for compilation and optimization: it has a clean…
Expand
1992
1992
PRELUDE: A System for Portable Parallel Software
W. Weihl
,
E. Brewer
,
+5 authors
Paul Wang
Parallel Architectures and Languages Europe
1992
Corpus ID: 10974617
Abstract : In this paper we describe PRELUDE, a programming language and accompanying system support for writing portable MIMD…
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