Andrade, Daniel, and Hugo Musso Gualandi.
" Converting Combinatory Logic to and from Concatenative Calculus." <em>Proceedings of the 28th Brazilian Symposium on Programming Languages,
Curitiba/PR, 2024</em>. SBC, 2024,  
pp.17-25.