José Espírito Santo, Filipa Mendes. The logical essence of call-by-name CPS translations. In Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi 0001, James Cheney, editors, Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024. ACM, 2024. [doi]
Abstract is missing.