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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
In this dissertation we show that linear and affine type systems for continuation-passing style support correct and tight… 
2002
2002
We study the "classical proofs as programs" paradigm in Call-By-Value (CBV) setting. Specifically, we show the CBV normalization… 
2000
2000
A logical framework is a meta-language for the formalization of deductive systems as used in the description of logics and… 
Review
1998
Review
1998
The EGRET instrument on the Compton Gamma- Ray Observatory has observed the Galactic Center (GC) region with good coverage at a… 
1996
1996
We give an abstract categorical presentation of continuation semantics by taking the continuation type constructor : (or cont in… 
1995
1995
Continuation-passing style (CPS) is a method of representing program evaluation order in a purely functional manner. Many… 
Highly Cited
1995
1992
1992
Continuation-passing style (CPS) is a good abstract representation to use for compilation and optimization: it has a clean… 
1992
1992
Abstract : In this paper we describe PRELUDE, a programming language and accompanying system support for writing portable MIMD… 
Highly Cited
1991
Highly Cited
1991
This paper identifies and solves a class of problems that arise in binding time analysis and more generally in partial evaluation…