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.
2010
2010
Today, orchestration of composite services is typically carried out by dedicated central engines. A central engine, however, can… 
2009
2009
The concept of syntactical duality is central in logic. In particular, the duality defined by classical negation, or more… 
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… 
1997
1997
This paper presents an implementation of a nonsmooth continuation method of which the idea was originally put forward by… 
1996
1996
We give an abstract categorical presentation of continuation semantics by taking the continuation type constructor : (or cont in… 
Review
1962
Review
1962
ZusammenfassungDer Beitrag soll einen Überblick über den Stand unserer Forschung am Kartoffelpflanzgut vermitteln.Unter…