Andrade, D., & Gualandi, H. (2024). Converting Combinatory Logic to and from Concatenative Calculus. In Proceedings of the 28th Brazilian Symposium on Programming Languages, (pp. 17-25). Porto Alegre: SBC. doi:10.5753/sblp.2024.3460