Corpus ID: 118430967

From delimited CPS to polarisation

@inproceedings{MunchMaccagnoni2011FromDC,
  title={From delimited CPS to polarisation},
  author={Guillaume Munch-Maccagnoni},
  year={2011}
}
The understanding of continuation-passing style (CPS) translations, an historical source of denotational semantics for programming languages, benefits from notions brought by linear logic, such as focalisation, polarities and the involutive negation. Here we aim to show how linear logic helps as well when continuations are delimited, i.e. return and can be composed, in the sense of Danvy and Filinski. First we provide a polarised calculus with delimited control (first-class delimited… Expand
Around Classical and Intuitionistic Linear Logics
Delimited control operators prove Double-negation Shift
  • Danko Ilik
  • Computer Science, Mathematics
  • Ann. Pure Appl. Log.
  • 2012

References

SHOWING 1-10 OF 26 REFERENCES
A computational analysis of Girard's translation and LC
  • Chetan R. Murthy
  • Mathematics, Computer Science
  • [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
  • 1992
The Duality of Computation under Focus
A New Deconstructive Logic: Linear Logic
Control categories and duality: on the categorical semantics of the lambda-mu calculus
  • P. Selinger
  • Mathematics, Computer Science
  • Mathematical Structures in Computer Science
  • 2001
A formulae-as-type notion of control
...
1
2
3
...