Polarity and the Logic of Delimited Continuations

Noam Zeilberger. Polarity and the Logic of Delimited Continuations. In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom. pages 219-227, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.