3 citations · 6 across the 5 of their papers we have counts for
Showing 2012 · cs.PLShow all
2 papers · 2 filters
cs.PL2012
Generating events with style
Matthieu Boutier, Gabriel Kerneis
Threads and events are two common abstractions for writing concurrent programs. Because threads are often more convenient, but events more efficient, it is natural to want to trans…
cs.PL2012
Lambda-lifting and CPS conversion in an imperative language
Gabriel Kerneis, Juliusz Chroboczek
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…