Amaro, Maycon, Samuel S. Feitosa, and Rodrigo G. Ribeiro.
" A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching." <em>Proceedings of the 25th Brazilian Symposium on Formal Methods,
Evento Online, 2022</em>. SBC, 2022,  
pp.39-54.