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.
2017
2017
We present Continuation Passing Style (CPS) translations for Plotkin and Pretnar's effect handlers with Hillerstrom and Lindley's… 
2002
2002
We study the "classical proofs as programs" paradigm in Call-By-Value (CBV) setting. Specifically, we show the CBV normalization… 
Highly Cited
1997
Highly Cited
1997
This thesis attempts to make precise the structure inherent in Continuation Passing Style (CPS). We emphasize that CPS translates… 
Highly Cited
1994
Highly Cited
1994
We unify previous work on the continuation-passing style (CPS) transformations in a generic framework based on Moggi's… 
Highly Cited
1993
Highly Cited
1993
In order to simplify the compilation process, many compilers for higher-order languages use the continuation-passing style (CPS… 
Highly Cited
1993
Highly Cited
1993
Plotkin's λv-calculus for call-by-value programs is weaker than the λβη-calculus for the same programs in continuation-passing… 
Highly Cited
1992
Highly Cited
1992
Plotkin's λ-value calculus is sound but incomplete for reasoning about βeegr;-transformations on programs in continuation-passing… 
Highly Cited
1991
Highly Cited
1991
This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program… 
Highly Cited
1989
Highly Cited
1989
We implemented a continuation-passing style (CPS) code generator for ML. Our CPS language is represented as an ML datatype in… 
Highly Cited
1985
Highly Cited
1985
Generative communication is the basis of a new distributed programming langauge that is intended for systems programming in…