HackerPapers

arXiv:1202.3247cs.PL

Lambda-lifting and CPS conversion in an imperative language

Gabriel Kerneis, Juliusz Chroboczek

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

This paper is a companion technical report to the article "Continuation-Passing C: from threads to events through continuations". It contains the complete version of the proofs of correctness of lambda-lifting and CPS-conversion presented in the article.

arXiv comments
arXiv admin note: substantial text overlap with arXiv:1011.4558
Journal reference
DOI
Subjects
cs.PLProgramming Languages

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Apr 2021 to Apr 2021.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. Can continuation passing style code perform well? 1 comment

    • The insight in the Kelsey paper I linked is that SSA and CPS are essentially equivalent. SSA is more or less CPS expressed at a kind of lower level, more like a bytecode. So one answer to the question is that all SSA compilers are already using a form of CPS. If you wanted to…

      antonvsView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.