3 citations · 6 across the 7 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.OH2012
Juppix: a Linux Live-CD for Undergraduate Students
Juliusz Chroboczek, Sylvain Lebresne
Juppix is a Linux Live-CD with a comfortable programming environment for the Java, C and O'Caml programming languages that has been distributed to hundreds of undergaduate students…
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…