Andrade, D., & Gualandi, H. (2024). Converting Combinatory Logic to and from Concatenative Calculus. In Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação, (pp. 17-25). Porto Alegre: SBC. doi:10.5753/sblp.2024.3460