Borin Júnior, Flávio, and Juliana Kaizer Vizzotto.
" Translating Finite-Typed Symmetric Pattern Matching into Ket." <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.141-149.