Erratum to: ``Continuation-passing C, compiling threads to events through continuations

DOI10.1007/s10990-012-9088-1zbMath1256.68039OpenAlexW1995238118MaRDI QIDQ1929353

Gabriel Kerneis, Juliusz Chroboczek

Publication date: 8 January 2013

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-012-9088-1

zbMATH Keywords

concurrent programmingcontinuation-passing stylelambda-lifting

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20)

This page was built for publication: Erratum to: ``Continuation-passing C, compiling threads to events through continuations