Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

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… Expand
  • figure 7
Highly Cited
2004
Highly Cited
2004
We examine the optimal mixture and priority structure of bank and market debt using a tradeoff model where banks have the unique… Expand
  • table 1
  • table 3
  • figure 1
  • figure 2
  • figure 3
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… Expand
  • figure 1.8
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… Expand
  • figure 1
  • figure 6
  • figure 8
  • figure 9
  • figure 11
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… Expand
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… Expand
  • figure 1
  • figure 5
  • figure 6
  • figure 8
Highly Cited
1992
Highly Cited
1992
Plotkin's λ-value calculus is sound but incomplete for reasoning about βeegr;-transformations on programs in continuation-passing… Expand
  • figure 1
Highly Cited
1991
Highly Cited
1991
This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program… Expand
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… Expand
Highly Cited
1985
Highly Cited
1985
Generative communication is the basis of a new distributed programming langauge that is intended for systems programming in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5