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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We present a denotational semantics designed in continuation-passing style (CPS) for an abstract language providing operators for… (More)
Is this relevant?
2017
2017
We present Continuation Passing Style (CPS) translations for Plotkin and Pretnar’s effect handlers with Hillerström and Lindley’s… (More)
  • figure 7
Is this relevant?
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… (More)
Is this relevant?
1994
1994
We propose a translation of Prolog (including cut, if-then-else and similar constructs) into a rst-order continuation-passing… (More)
Is this relevant?
1994
1994
This paper examines the transformation of call-by-need terms into continuation passing style (CPS). It begins by presenting a… (More)
Is this relevant?
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… (More)
  • figure 1
  • figure 6
  • figure 8
  • figure 9
  • figure 11
Is this relevant?
1993
1993
The continuation-passing style (CPS) transformation is powerful but complex. Our thesis is that this transformation is in fact… (More)
  • figure 2
  • figure 9
  • figure 11
  • figure 14
Is this relevant?
1992
1992
Plotkin's λ-value calculus is sound but incomplete for reasoning about βeegr;-transformations on programs in continuation-passing… (More)
  • figure 1
Is this relevant?
1992
1992
Continuation-passing style (CPS) is a good abstract representation to use for compilation and optimization: it has a clean… (More)
  • figure 1
  • figure 6
  • figure 7
  • figure 8
  • figure 9
Is this relevant?
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… (More)
Is this relevant?