A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Polarity and the Logic of Delimited Continuations
2010
2010 25th Annual IEEE Symposium on Logic in Computer Science
Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitations of CPS: that continuations cannot be composed, and that programs are fully sequentialized. Delimited control operators were invented in response to the limitations of classical continuation-passing. That suggests the question: what is the logic of delimited continuations? We offer a simple account of delimited control, through
doi:10.1109/lics.2010.23
dblp:conf/lics/Zeilberger10
fatcat:atalmnc2pza7jn7eqprvleqrfu