Corpus ID: 53887531

Categorical Structure of Continuation Passing Style

@inproceedings{Thielecke1997CategoricalSO,
  title={Categorical Structure of Continuation Passing Style},
  author={H. Thielecke},
  year={1997}
}
This thesis attempts to make precise the structure inherent in Continuation Passing Style (CPS). We emphasize that CPS translates λ-calculus into a very basic calculus that does not have functions as primitive. We give an abstract categorical presentation of continuation semantics by taking the continuation type constructor ¬ (or cont in Standard ML of New Jersey) as primitive. This constructor on types extends to a contravariant functor on terms which is adjoint to itself on the left… Expand
110 Citations
Completeness of Continuation Models for lambda-mu-Calculus
Control categories and duality: on the categorical semantics of the lambda-mu calculus
  • P. Selinger
  • Mathematics, Computer Science
  • Mathematical Structures in Computer Science
  • 2001
Abstract Machines, Control, and Sequents
Control in the π-Calculus [ Extended
A semantic analysis of control
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 110 REFERENCES
Continuation Passing Style and Self-Adjointness
Continuation semantics and self-adjointness
Recursion from iteration
The π-calculus in direct style
A formulae-as-type notion of control
Back to direct style II: first-class continuations
Continuation Semantics in Typed Lambda-Calculi (Summary)
Lambda calculus schemata
  • M. Fischer
  • Mathematics, Computer Science
  • LISP Symb. Comput.
  • 1993
Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages
  • Masahito Hasegawa
  • Mathematics, Computer Science
  • Category Theory and Computer Science
  • 1995
Representing monads
...
1
2
3
4
5
...