Borin Júnior, F., & 		Vizzotto, J.
(2026).
 Translating Finite-Typed Symmetric Pattern Matching into Ket.
In <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 141-149). Porto Alegre: SBC.
doi:10.5753/sblp.2026.29675