Published in: LIPIcs, Volume 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
José Espírito Santo and Filipa Mendes. The Logical Essence of Compiling with Continuations. In 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 260, pp. 19:1-19:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{espiritosanto_et_al:LIPIcs.FSCD.2023.19, author = {Esp{\'\i}rito Santo, Jos\'{e} and Mendes, Filipa}, title = {{The Logical Essence of Compiling with Continuations}}, booktitle = {8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)}, pages = {19:1--19:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-277-8}, ISSN = {1868-8969}, year = {2023}, volume = {260}, editor = {Gaboardi, Marco and van Raamsdonk, Femke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.19}, URN = {urn:nbn:de:0030-drops-180036}, doi = {10.4230/LIPIcs.FSCD.2023.19}, annote = {Keywords: Continuation-passing style, Sequent calculus, Generalized applications, Administrative normal form} }
Feedback for Dagstuhl Publishing